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 31378-31382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31376-31376 applicableRelation 的 1 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31377-31377 applicableRelation 的 2 数量 是 关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31375-31375 applicableRelation 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31384-31385
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 31387-31394


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