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

Formal Language: 



KB Term:  Term intersection
English Word: 

  personalPhoneNumber

Sigma KEE - personalPhoneNumber
personalPhoneNumber

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


(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 24322-24326
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24319-24319
(domain personalPhoneNumber 2 Human) Mid-level-ontology.kif 24320-24320
(instance personalPhoneNumber AsymmetricRelation) Mid-level-ontology.kif 24318-24318
(instance personalPhoneNumber BinaryPredicate) Mid-level-ontology.kif 24317-24317
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 24321-24321

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


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


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