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

Formal Language: 


KB Term:  Term intersection
English Word: 

  workPhoneNumber

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
(domain workPhoneNumber 2 AutonomousAgent) Mid-level-ontology.kif 26711-26711
(instance workPhoneNumber AsymmetricRelation) Mid-level-ontology.kif 26709-26709
(instance workPhoneNumber BinaryPredicate) Mid-level-ontology.kif 26708-26708
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 26712-26712

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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