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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - workPhoneNumber

appearance as argument number 1

(documentation workPhoneNumber EnglishLanguage "(workPhoneNumber ?TelecomNumber ?Agent) means that ?TelecomNumber identifies a Telephone at which ?Agent can be contacted when at work, or for business purposes.") Mid-level-ontology.kif 23026-23030
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 23023-23023
(domain workPhoneNumber 2 Agent) Mid-level-ontology.kif 23024-23024
(instance workPhoneNumber AsymmetricRelation) Mid-level-ontology.kif 23022-23022
(instance workPhoneNumber BinaryPredicate) Mid-level-ontology.kif 23021-23021
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 23025-23025

appearance as argument number 2

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

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