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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - beforeOnPath
beforeOnPath

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29767-29768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29769-29769 beforeOnPath 的 1 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29770-29770 beforeOnPath 的 2 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29771-29771 beforeOnPath 的 3 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29772-29772 beforeOnPath 的 4 数量 是 转移instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29773-29773 beforeOnPath四元谓语instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29774-29774 beforeOnPath空间关系instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29776-29776
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65786-65786

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29779-29788
No TPTP formula. May not be expressible in strict first order. Cars.kif 4046-4061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29801-29810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29823-29832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29790-29799
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29812-29821


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



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