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 26715-26719
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 26712-26712
(domain workPhoneNumber 2 AutonomousAgent) Mid-level-ontology.kif 26713-26713
(instance workPhoneNumber AsymmetricRelation) Mid-level-ontology.kif 26711-26711
(instance workPhoneNumber BinaryPredicate) Mid-level-ontology.kif 26710-26710
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 26714-26714

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