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 10503-10504
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10501-10501	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 10502-10502	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 10500-10500	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 10505-10505

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 10506-10512	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 89-91	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 60-62	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 1739-1739	ActiveSync created Microsoft
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2909-2909	Flash created Adobe
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1825-1825	AirPlay created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1867-1867	AirPrint created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1938-1938	Apple app store created AppleComputer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 925-925	FairPlay created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 958-958	Migration Assistant created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 944-944	Safari created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 951-951	Setup Assistant created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2400-2400	Cocoa Touch created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 65-65	Facebook created Facebook
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3059-3059	GMail created GoogleCorporation
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3267-3267	AppleBooks created Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3280-3280	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