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 24862-24865
(domain telecomContactDevice 1 TelephonyDevice) Mid-level-ontology.kif 24860-24860 telecomContactDevice, 1 and TelephonyDevice
(domain telecomContactDevice 2 AutonomousAgent) Mid-level-ontology.kif 24861-24861 telecomContactDevice, 2 and AutonomousAgent
(instance telecomContactDevice AsymmetricRelation) Mid-level-ontology.kif 24858-24858 telecomContactDevice and AsymmetricRelation
(instance telecomContactDevice BinaryPredicate) Mid-level-ontology.kif 24859-24859 telecomContactDevice and BinaryPredicate
(subrelation telecomContactDevice siteForContact) Mid-level-ontology.kif 24866-24866 子關係 telecomContactDevice and siteForContact

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


(format ChineseLanguage telecomContactDevice "%2 能被 reached 在 %1 ") domainEnglishFormat.kif 4750-4750
(format ChineseTraditionalLanguage telecomContactDevice "%2 能被 reached 在 %1 ") domainEnglishFormat.kif 4749-4749
(format EnglishLanguage telecomContactDevice "%2 can be reached at %1") domainEnglishFormat.kif 4748-4748
(termFormat EnglishLanguage telecomContactDevice "telecom contact device") domainEnglishFormat.kif 65953-65953


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