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



KB Term:  Term intersection
English Word: 

  personalPhoneNumber

Sigma KEE - personalPhoneNumber
personalPhoneNumber

appearance as argument number 1
-------------------------


(instance personalPhoneNumber BinaryPredicate) Mid-level-ontology.kif 27278-27278 personal phone number is an instance of binary predicate
(instance personalPhoneNumber AsymmetricRelation) Mid-level-ontology.kif 27279-27279 personal phone number is an instance of asymmetric relation
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 27280-27280 The number 1 argument of personal phone number is an instance of telecom number
(domain personalPhoneNumber 2 Human) Mid-level-ontology.kif 27281-27281 The number 2 argument of personal phone number is an instance of human
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 27282-27282 personal phone number is a subrelation of telephone number
(documentation personalPhoneNumber EnglishLanguage "(personalPhoneNumber ?TelecomNumber ?Human) means that ?TelecomNumber identifies a Telephone at which ?Human can be contacted when not a work, or for purposes other than work.") Mid-level-ontology.kif 27283-27287 personal phone number is a subrelation of telephone number

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners