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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RelationExtendedToQuantities

 Sigma KEE - BusinessPerson
BusinessPerson

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22200-22205
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1056-1056
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22199-22199 BusinessPerson est une instance de OccupationalRole

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22207-22207 BusinessExecutive est un sous-attribut de BusinessPerson
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22502-22502 StoreOwner est un sous-attribut de BusinessPerson
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12451-12451
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12450-12450
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12449-12449

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1655-1668


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