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 Le nombre 1 argument de telecomContactDevice est une instance de TelephonyDevice
(domain telecomContactDevice 2 AutonomousAgent) Mid-level-ontology.kif 24861-24861 Le nombre 2 argument de telecomContactDevice est une instance de AutonomousAgent
(instance telecomContactDevice AsymmetricRelation) Mid-level-ontology.kif 24858-24858 telecomContactDevice est une instance de relation asym�trique
(instance telecomContactDevice BinaryPredicate) Mid-level-ontology.kif 24859-24859 telecomContactDevice est une instance de pr�dicat binaire
(subrelation telecomContactDevice siteForContact) Mid-level-ontology.kif 24866-24866 telecomContactDevice est une sous-relation de 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 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