creator - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - creator

creator

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11354-11355
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11352-11352	The number 1 argument of creator is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11353-11353	The number 2 argument of creator is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11351-11351	creator is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3151-3151
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3150-3150
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3149-3149
No TPTP formula. May not be expressible in strict first order.	Music.kif 136-136	composer is a subrelation of creator
No TPTP formula. May not be expressible in strict first order.	Music.kif 154-154	lyricist is a subrelation of creator
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11356-11356

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 393-405	If an object is an instance of web listing and a process is an instance of object and a cognitive agent is an instance of agent and auction attribute is an attribute of the object and the object is a patient of the process and the cognitive agent created the object, then the cognitive agent desires there exists an entity such that the entity is an instance of auction and the process is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 44-50	If an agent is an instance of web listing and a WebSite is an instance of WebSite and the agent is hosted on the WebSite and the agent created a human, then the human is a seller at the WebSite
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11357-11363	If an agent created an entity, then there exists a process such that the process is an instance of creation and the agent is an agent of the process and the entity is a result of the process

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 69-71	If an agent sells another agent, then the other agent created the agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 30-32	If an agent is a subclass of Android, then the agent created Alphabet
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 92-94	If an agent is a subclass of IOS, then the agent created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 62-64	If an agent is a subclass of WindowsOS, then the agent created Microsoft

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1745-1745	ActiveSync created Microsoft
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2921-2921	Flash created Adobe
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1836-1836	AirPlay created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1878-1878	AirPrint created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1949-1949	Apple app store created AppleComputer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 931-931	FairPlay created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 964-964	Migration Assistant created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 950-950	Safari created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 957-957	Setup Assistant created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2408-2408	Cocoa Touch created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 67-67	Facebook created Facebook
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3071-3071	GMail created GoogleCorporation
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3279-3279	AppleBooks created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3292-3292	IBookstore created Apple

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