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

Formal Language: 



KB Term:  Term intersection
English Word: 

  beforeOnPath

 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 Le nombre 1 argument de beforeOnPath est une instance de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29770-29770 Le nombre 2 argument de beforeOnPath est une instance de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29771-29771 Le nombre 3 argument de beforeOnPath est une instance de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29772-29772 Le nombre 4 argument de beforeOnPath est une instance de transf�re
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29773-29773 beforeOnPath est une instance de pr�dicat quaternaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29774-29774 beforeOnPath est une instance de relation spatial

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 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