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 25108-25112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25105-25105 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 25106-25106 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 25104-25104 work phone number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25103-25103 work phone number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25107-25107 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 65975-65975


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