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
)