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

Formal Language: 


KB Term:  Term intersection
English Word: 

  telecomContactDevice

Sigma KEE - telecomContactDevice
telecomContactDevice

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


(documentation telecomContactDevice EnglishLanguage "(telecomContactDevice ?TelephonyDevice ?AutonomousAgent) means that ?TelephonyDevice is a ContactSite for the Human or Organization ?AutonomousAgent.") Mid-level-ontology.kif 26524-26527
(domain telecomContactDevice 1 TelephonyDevice) Mid-level-ontology.kif 26522-26522
(domain telecomContactDevice 2 AutonomousAgent) Mid-level-ontology.kif 26523-26523
(instance telecomContactDevice AsymmetricRelation) Mid-level-ontology.kif 26520-26520
(instance telecomContactDevice BinaryPredicate) Mid-level-ontology.kif 26521-26521
(subrelation telecomContactDevice siteForContact) Mid-level-ontology.kif 26528-26528

appearance as argument number 2
-------------------------


(format ChineseLanguage telecomContactDevice "%2 能被 reached 在 %1 ") domainEnglishFormat.kif 4754-4754
(format ChineseTraditionalLanguage telecomContactDevice "%2 能被 reached 在 %1 ") domainEnglishFormat.kif 4753-4753
(format EnglishLanguage telecomContactDevice "%2 can be reached at %1") domainEnglishFormat.kif 4752-4752
(termFormat EnglishLanguage telecomContactDevice "telecom contact device") domainEnglishFormat.kif 65980-65980


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