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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContactSite
ContactSite(contact site)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24611-24615
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24610-24610 Contact site is a subclass of object

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 657-657 Internet address is a subclass of contact site
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24647-24647 Postal place is a subclass of contact site
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24932-24932 Telecom number is a subclass of contact site
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24618-24618 Telephony device is a subclass of contact site
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24616-24616

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24659-24659 The number 1 argument of site for contact is an instance of contact site


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