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

Formal Language: 



KB Term:  Term intersection
English Word: 

  organizationName

 Sigma KEE - organizationName
organizationName

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


(documentation organizationName EnglishLanguage "(organizationName ?STRING ?OBJ) means that ?STRING is a full or partial name for the Organization ?OBJ.") Media.kif 3458-3460
(domain organizationName 1 SymbolicString) Media.kif 3455-3455 Il numero 1 argomenti di organizationName è un istanza di Stringa
(domain organizationName 2 Organization) Media.kif 3456-3456 Il numero 2 argomenti di organizationName è un istanza di Organizzazione
(instance organizationName AsymmetricRelation) Media.kif 3454-3454 organizationName è un' istanza di RelazioneAsimmetrica
(instance organizationName BinaryPredicate) Media.kif 3453-3453 organizationName è un' istanza di PredicatoBinario
(subrelation organizationName agentName) Media.kif 3457-3457 organizationName è una sottorelazione di agentName

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


(format ChineseLanguage organizationName "%2 是 called %1 ") domainEnglishFormat.kif 4038-4038
(format ChineseTraditionalLanguage organizationName "%2 是 called %1 ") domainEnglishFormat.kif 4037-4037
(format EnglishLanguage organizationName "%2 is called %1") domainEnglishFormat.kif 4036-4036
(termFormat EnglishLanguage organizationName "organization name") domainEnglishFormat.kif 65892-65892

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