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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpaceRegion
SpaceRegion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9095-9095 SpaceRegion est disjoint de secteur g�ographique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9097-9098
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9096-9096 SpaceRegion est compl�tement d�compos� en AtmosphericRegion + OuterSpaceRegion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9094-9094 SpaceRegion est une sous-classe de r�gion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9055-9055 AtmosphericRegion est une sous-classe de SpaceRegion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9100-9100 OuterSpaceRegion est une sous-classe de SpaceRegion
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54416-54416
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54415-54415
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54414-54414

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9053-9053 R�gion est compl�tement d�compos� en secteur g�ographique + SpaceRegion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17729-17736


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