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

Formal Language: 



KB Term:  Term intersection
English Word: 

  directed

 Sigma KEE - directed
directed

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20720-20721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20718-20718 针对 的 1 数量 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20719-20719 针对 的 2 数量 是 动态映像 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20717-20717 针对 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3250-3250
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3249-3249
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3248-3248
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19668-19668
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19667-19667
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19666-19666

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20733-20742
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20723-20731


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