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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TibialisAnteriorMuscle

 Sigma KEE - postCity
postCity

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24816-24818
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24813-24813 Le nombre 1 argument de postCity est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24814-24814 Le nombre 2 argument de postCity est une instance de ville
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24811-24811 postCity est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24812-24812 postCity est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24815-24815 postCity est une sous-relation de located

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4150-4150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4149-4149
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4148-4148
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65905-65905

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24779-24784
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24786-24793

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24820-24825 PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace ville est une instance de ville postCity PostalPlace and ville
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24740-24745
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24854-24859


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