TreeView Knowledge Base Browser - organizationName

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 3464-3466
(domain organizationName 1 SymbolicString)	Media.kif 3461-3461	domain organizationName, 1 and SymbolicString
(domain organizationName 2 Organization)	Media.kif 3462-3462	domain organizationName, 2 and Organization
(instance organizationName AsymmetricRelation)	Media.kif 3460-3460	instance organizationName and AsymmetricRelation
(instance organizationName BinaryPredicate)	Media.kif 3459-3459	instance organizationName and BinaryPredicate
(subrelation organizationName agentName)	Media.kif 3463-3463	subrelation organizationName and agentName

appearance as argument number 2

(format ChineseLanguage organizationName "%2 是 called %1 ")	domainEnglishFormat.kif 4043-4043
(format ChineseTraditionalLanguage organizationName "%2 是 called %1 ")	domainEnglishFormat.kif 4042-4042
(format EnglishLanguage organizationName "%2 is called %1")	domainEnglishFormat.kif 4041-4041

consequent

(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Organization))
    (organizationName ?STRING ?OBJ))

Media.kif 3468-3472

names SymbolicString and Organization instance Organization and Organization
organizationName SymbolicString and Organization

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