Individual: expr:KIF

http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#KIF

Types (1)

expr:LogicLanguage

Usage (2)

expr:KIF-Expression ⊆ expr:expressionLanguage value expr:KIF
expr:KIF expr:refURI "http://logic.stanford.edu/kif/kif.html" (xsd:anyURI)