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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlaceID

Sigma KEE - PlaceID
PlaceID(place ID)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24604-24604 Place ID is a subclass of place descriptor

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24606-24606 Localizable place ID is a subclass of place ID
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24608-24608 Place address is a subclass of place ID
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24925-24925 Virtual place ID is a subclass of place ID
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65323-65323


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