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 29755-29756
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29757-29757 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 29758-29758 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 29759-29759 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 29760-29760 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 29761-29761 beforeOnPath est une instance de pr�dicat quaternaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29762-29762 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 29764-29764
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 29767-29776
No TPTP formula. May not be expressible in strict first order. Cars.kif 4054-4069
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29789-29798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29811-29820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29778-29787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29800-29809


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