TreeView Knowledge Base Browser - 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 引数は TelecomNumber の instance では %n
(domain personalPhoneNumber 2 Human)	Mid-level-ontology.kif 24999-24999	personalPhoneNumber の数値 2 引数は人［人間］の instance では %n
(instance personalPhoneNumber AsymmetricRelation)	Mid-level-ontology.kif 24997-24997	personalPhoneNumber は非対称関係の instance では %n
(instance personalPhoneNumber BinaryPredicate)	Mid-level-ontology.kif 24996-24996	personalPhoneNumber は 2進述語の instance では %n
(subrelation personalPhoneNumber telephoneNumber)	Mid-level-ontology.kif 25000-25000	personalPhoneNumber は telephoneNumber の subrelation では %n

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