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 Die Zahl 1 Argument von organizationName ist ein fall von SymbolicString %n{nicht}
(domain organizationName 2 Organization) Media.kif 3456-3456 Die Zahl 2 Argument von organizationName ist ein fall von Organization %n{nicht}
(instance organizationName AsymmetricRelation) Media.kif 3454-3454 organizationName ist ein fall von AsymmetricRelation %n{nicht}
(instance organizationName BinaryPredicate) Media.kif 3453-3453 organizationName ist ein fall von BinaryPredicate %n{nicht}
(subrelation organizationName agentName) Media.kif 3457-3457 organizationName ist eine teilrelation von 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

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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