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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of telecom contact device is an instance of telephony device
(domain telecomContactDevice 2 AutonomousAgent) Mid-level-ontology.kif 24861-24861 The number 2 argument of telecom contact device is an instance of agent
(instance telecomContactDevice AsymmetricRelation) Mid-level-ontology.kif 24858-24858 telecom contact device is an instance of asymmetric relation
(instance telecomContactDevice BinaryPredicate) Mid-level-ontology.kif 24859-24859 telecom contact device is an instance of binary predicate
(subrelation telecomContactDevice siteForContact) Mid-level-ontology.kif 24866-24866 telecom contact device is a subrelation of site for contact

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 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