TreeView Knowledge Base Browser

appearance as argument number 1

(instance workPhoneNumber BinaryPredicate)	Mid-level-ontology.kif 27328-27328	work phone number is an instance of binary predicate
(instance workPhoneNumber AsymmetricRelation)	Mid-level-ontology.kif 27329-27329	work phone number is an instance of asymmetric relation
(domain workPhoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 27330-27330	The number 1 argument of work phone number is an instance of telecom number
(domain workPhoneNumber 2 AutonomousAgent)	Mid-level-ontology.kif 27331-27331	The number 2 argument of work phone number is an instance of agent
(subrelation workPhoneNumber telephoneNumber)	Mid-level-ontology.kif 27332-27332	work phone number is a subrelation of telephone number
(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 27333-27337	work phone number is a subrelation of telephone number

appearance as argument number 2

(format EnglishLanguage workPhoneNumber "%2 has work number %1")	domainEnglishFormat.kif 5000-5000
(format ChineseTraditionalLanguage workPhoneNumber "%2 有 work number %1 ")	domainEnglishFormat.kif 5001-5001
(format ChineseLanguage workPhoneNumber "%2 有 work number %1 ")	domainEnglishFormat.kif 5002-5002
(termFormat EnglishLanguage workPhoneNumber "work phone number")	domainEnglishFormat.kif 66014-66014