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 3460-3462
(domain organizationName 1 SymbolicString) Media.kif 3457-3457
(domain organizationName 2 Organization) Media.kif 3458-3458
(instance organizationName AsymmetricRelation) Media.kif 3456-3456
(instance organizationName BinaryPredicate) Media.kif 3455-3455
(subrelation organizationName agentName) Media.kif 3459-3459

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


(format ChineseLanguage organizationName "%2 是 called %1 ") domainEnglishFormat.kif 4042-4042
(format ChineseTraditionalLanguage organizationName "%2 是 called %1 ") domainEnglishFormat.kif 4041-4041
(format EnglishLanguage organizationName "%2 is called %1") domainEnglishFormat.kif 4040-4040
(termFormat EnglishLanguage organizationName "organization name") domainEnglishFormat.kif 65903-65903

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


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


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