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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postContactSite

Sigma KEE - postContactSite
postContactSite

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24670-24673
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24668-24668 The number 1 argument of post contact site is an instance of postal place
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24669-24669 The number 2 argument of post contact site is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24666-24666 post contact site is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24667-24667 post contact site is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24674-24674 post contact site is a subrelation of site for contact

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4154-4154
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4153-4153
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4152-4152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23282-23282 home address is a subrelation of post contact site
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23270-23270 work address is a subrelation of post contact site
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65906-65906

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


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


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