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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3476-3478
(domain organizationName 1 SymbolicString) Media.kif 3473-3473 O argumento numero 1 de organizationName e' uma instancia de Sequencia Simbolica
(domain organizationName 2 Organization) Media.kif 3474-3474 O argumento numero 2 de organizationName e' uma instancia de Organizacao
(instance organizationName AsymmetricRelation) Media.kif 3472-3472 organizationName e' uma instancia de Relacao Assimetrica
(instance organizationName BinaryPredicate) Media.kif 3471-3471 organizationName e' uma instancia de Predicado Binario
(subrelation organizationName agentName) Media.kif 3475-3475 organizationName e' uma sub-relacao de 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 65890-65890

consequent
-------------------------


(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Organization))
    (organizationName ?STRING ?OBJ))
Media.kif 3480-3484


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