| appearance as argument number 1 |
|
| (instance creator BinaryPredicate) | Mid-level-ontology.kif 15261-15261 | creator is an instance of binary predicate |
| (domain creator 1 AutonomousAgent) | Mid-level-ontology.kif 15262-15262 | The number 1 argument of creator is an instance of agent |
| (domain creator 2 Entity) | Mid-level-ontology.kif 15263-15263 | The number 2 argument of creator is an instance of entity |
| (documentation creator EnglishLanguage "(creator ?AGENT ?ENTITY) means that some AutonomousAgent ?AGENT is the creator of some Entity ?ENTITY") | Mid-level-ontology.kif 15264-15265 | The number 2 argument of creator is an instance of entity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage creator "creator") | Mid-level-ontology.kif 15266-15266 | |
| (format EnglishLanguage creator "%1 created %2") | domainEnglishFormat.kif 3140-3140 | |
| (format ChineseTraditionalLanguage creator "%1 created %2 ") | domainEnglishFormat.kif 3141-3141 | |
| (format ChineseLanguage creator "%1 created %2 ") | domainEnglishFormat.kif 3142-3142 |
| antecedent |
|
|
| (=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 15267-15273 | If X created Y, then there exists Z such that Z is an instance of creation, X is an agent of Z, and Y is a result of Z |
| (=> (and (instance ?P DigitalPost) (instance ?A AutonomousAgent) (instance ?W WebSite) (component ?P ?W) (creator ?A ?P) (registeredUser ?A ?W)) (hasPurpose ?P (exists (?D) (and (instance ?D Disseminating) (agent ?D ?A) (patient ?D ?P) (instrument ?D ?W))))) |
ComputerInput.kif 2846-2860 | If All of the following hold: (1) X is an instance of digital post (2) Y is an instance of agent (3) Z is an instance of web site (4) X is a component of Z (5) Y created X (6) Y is a registered user of Z, then X has the purpose there exists W such that W is an instance of disseminating, Y is an agent of W, X is a patient of W, and Z is an instrument for W |
| consequent |
|
|
| (=> (and (subclass ?OS AndroidOS) (instance ?INST ?OS)) (creator AlphabetCorporation ?INST)) |
ComputingBrands.kif 30-34 | If X is a subclass of Android and Y is an instance of X, then Alphabet created Y |
| (=> (and (subclass ?OS WindowsOS) (instance ?INST ?OS)) (creator MicrosoftCorporation ?INST)) |
ComputingBrands.kif 62-66 | If X is a subclass of windows OS and Y is an instance of X, then Microsoft created Y |
| (=> (and (subclass ?OS AppleIOS) (instance ?INST ?OS)) (creator AppleComputerCorporation ?INST)) |
ComputingBrands.kif 93-97 | If X is a subclass of IOS and Y is an instance of X, then Apple created Y |
| (=> (follows ?USER1 ?USER2) (exists (?POST ?SEE) (and (instance ?POST DigitalPost) (creator ?USER2 ?POST) (instance ?SEE AccessingWebPage) (agent ?SEE ?USER1) (patient ?SEE ?POST)))) |
Facebook.kif 73-81 | If X folows Y., then there exist Z, W such that Z is an instance of digital post, Y created Z, W is an instance of accessing web page, X is an agent of W, and Z is a patient of W |
| appearance as argument number 0 |
|
|
|
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.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners