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 23047-23051
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 23044-23044 The number 1 argument of workPhoneNumber is an instance of TelecomNumber
(domain workPhoneNumber 2 Agent) Mid-level-ontology.kif 23045-23045 The number 2 argument of workPhoneNumber is an instance of agent
(instance workPhoneNumber AsymmetricRelation) Mid-level-ontology.kif 23043-23043 workPhoneNumber is an instance of asymmetric relation
(instance workPhoneNumber BinaryPredicate) Mid-level-ontology.kif 23042-23042 workPhoneNumber is an instance of binary predicate
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 23046-23046 workPhoneNumber is a subrelation of telephone number

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


(format ChineseLanguage workPhoneNumber "%2 有 work number %1 ") domainEnglishFormat.kif 4999-4999
(format ChineseTraditionalLanguage workPhoneNumber "%2 有 work number %1 ") domainEnglishFormat.kif 4998-4998
(format EnglishLanguage workPhoneNumber "%2 has work number %1") domainEnglishFormat.kif 4997-4997


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners