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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - workPhoneNumber
workPhoneNumber

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 26713-26717
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 26710-26710 The number 1 argument of work phone number is an instance of telecom number
(domain workPhoneNumber 2 AutonomousAgent) Mid-level-ontology.kif 26711-26711 The number 2 argument of work phone number is an instance of agent
(instance workPhoneNumber AsymmetricRelation) Mid-level-ontology.kif 26709-26709 work phone number is an instance of asymmetric relation
(instance workPhoneNumber BinaryPredicate) Mid-level-ontology.kif 26708-26708 work phone number is an instance of binary predicate
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 26712-26712 work phone number is a subrelation of telephone number

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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