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


KB Term:  Term intersection
English Word: 

Sigma KEE - personalPhoneNumber
personalPhoneNumber

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


(instance personalPhoneNumber BinaryPredicate) Mid-level-ontology.kif 27278-27278 personal phone number is an instance of binary predicate
(instance personalPhoneNumber AsymmetricRelation) Mid-level-ontology.kif 27279-27279 personal phone number is an instance of asymmetric relation
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 27280-27280 The number 1 argument of personal phone number is an instance of telecom number
(domain personalPhoneNumber 2 Human) Mid-level-ontology.kif 27281-27281 The number 2 argument of personal phone number is an instance of human
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 27282-27282 personal phone number is a subrelation of telephone number
(documentation personalPhoneNumber EnglishLanguage "(personalPhoneNumber ?TelecomNumber ?Human) means that ?TelecomNumber identifies a Telephone at which ?Human can be contacted when not a work, or for purposes other than work.") Mid-level-ontology.kif 27283-27287 personal phone number is a subrelation of telephone number

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


(format EnglishLanguage personalPhoneNumber "the personal phone of %2 is %1") domainEnglishFormat.kif 4108-4108
(format ChineseTraditionalLanguage personalPhoneNumber "%2 的 personal phone 是 %1 ") domainEnglishFormat.kif 4109-4109
(format ChineseLanguage personalPhoneNumber "%2 的 personal phone 是 %1 ") domainEnglishFormat.kif 4110-4110
(termFormat EnglishLanguage personalPhoneNumber "personal phone number") domainEnglishFormat.kif 65920-65920


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners