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 25001-25005
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24998-24998 personalPhoneNumber 的 1 数量 是 TelecomNumberinstance
(domain personalPhoneNumber 2 Human) Mid-level-ontology.kif 24999-24999 personalPhoneNumber 的 2 数量 是 人类instance
(instance personalPhoneNumber AsymmetricRelation) Mid-level-ontology.kif 24997-24997 personalPhoneNumber非对称关系instance
(instance personalPhoneNumber BinaryPredicate) Mid-level-ontology.kif 24996-24996 personalPhoneNumber二元谓语instance
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 25000-25000 personalPhoneNumber电话号码subrelation

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


(format ChineseLanguage personalPhoneNumber "%2 的 personal phone 是 %1 ") domainEnglishFormat.kif 4106-4106
(format ChineseTraditionalLanguage personalPhoneNumber "%2 的 personal phone 是 %1 ") domainEnglishFormat.kif 4105-4105
(format EnglishLanguage personalPhoneNumber "the personal phone of %2 is %1") domainEnglishFormat.kif 4104-4104
(termFormat EnglishLanguage personalPhoneNumber "personal phone number") domainEnglishFormat.kif 65896-65896


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