Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  applicableRelation

 Sigma KEE - applicableRelation
applicableRelation

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31374-31378
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31372-31372 The number 1 argument of applicable relation is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31373-31373 The number 2 argument of applicable relation is an instance of relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31371-31371 applicable relation is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31380-31381
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65778-65778

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31383-31390


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners