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


KB Term:  Term intersection
English Word: 

Sigma KEE - workPhoneNumber
workPhoneNumber

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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners