TreeView Knowledge Base Browser

appearance as argument number 1

(documentation workPhoneNumber EnglishLanguage "(workPhoneNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a Telephone at which ?AutonomousAgent can be contacted when at work, or for business purposes.")	Mid-level-ontology.kif 25051-25055
(domain workPhoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 25048-25048	Die Zahl 1 Argument von workPhoneNumber ist ein fall von TelecomNumber %n{nicht}
(domain workPhoneNumber 2 AutonomousAgent)	Mid-level-ontology.kif 25049-25049	Die Zahl 2 Argument von workPhoneNumber ist ein fall von AutonomousAgent %n{nicht}
(instance workPhoneNumber AsymmetricRelation)	Mid-level-ontology.kif 25047-25047	workPhoneNumber ist ein fall von AsymmetricRelation %n{nicht}
(instance workPhoneNumber BinaryPredicate)	Mid-level-ontology.kif 25046-25046	workPhoneNumber ist ein fall von BinaryPredicate %n{nicht}
(subrelation workPhoneNumber telephoneNumber)	Mid-level-ontology.kif 25050-25050	workPhoneNumber ist eine teilrelation von telephoneNumber

appearance as argument number 2

(format ChineseLanguage workPhoneNumber "%2 有 work number %1 ")	domainEnglishFormat.kif 4994-4994
(format ChineseTraditionalLanguage workPhoneNumber "%2 有 work number %1 ")	domainEnglishFormat.kif 4993-4993
(format EnglishLanguage workPhoneNumber "%2 has work number %1")	domainEnglishFormat.kif 4992-4992
(termFormat EnglishLanguage workPhoneNumber "work phone number")	domainEnglishFormat.kif 65973-65973