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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - workPhoneNumber
workPhoneNumber

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


(documentation workPhoneNumber EnglishLanguage "(workPhoneNumber ?TelecomNumber ?Agent) means that ?TelecomNumber identifies a Telephone at which ?Agent can be contacted when at work, or for business purposes.") Mid-level-ontology.kif 24255-24259
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24252-24252
(domain workPhoneNumber 2 Agent) Mid-level-ontology.kif 24253-24253
(instance workPhoneNumber AsymmetricRelation) Mid-level-ontology.kif 24251-24251
(instance workPhoneNumber BinaryPredicate) Mid-level-ontology.kif 24250-24250
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 24254-24254

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


(format ChineseLanguage workPhoneNumber "%2 有 work number %1 ") domainEnglishFormat.kif 5003-5003
(format ChineseTraditionalLanguage workPhoneNumber "%2 有 work number %1 ") domainEnglishFormat.kif 5002-5002
(format EnglishLanguage workPhoneNumber "%2 has work number %1") domainEnglishFormat.kif 5001-5001


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