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

Formal Language: 



KB Term:  Term intersection
English Word: 

  workPhoneNumber

Sigma KEE - workPhoneNumber
workPhoneNumber

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25051-25055
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25048-25048 The number 1 argument of work phone number is an instance of telecom number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25049-25049 The number 2 argument of work phone number is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25047-25047 work phone number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25046-25046 work phone number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25050-25050 work phone number is a subrelation of telephone number

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4994-4994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4993-4993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4992-4992
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65973-65973


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