| appearance as argument number 1 |
|
| (subclass SafetyVest Clothing) | Cars.kif 3632-3632 | Safety vest is a subclass of clothing |
| (subclass SafetyVest SafetyDevice) | Cars.kif 3633-3633 | Safety vest is a subclass of safety device |
| (documentation SafetyVest EnglishLanguage "Clothing designed to increas the visibility of the wearer and so protect him from Injuring") | Cars.kif 3634-3634 | Safety vest is a subclass of safety device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SafetyVest "safety vest") | domainEnglishFormat.kif 65434-65434 |
| antecedent |
|
|
| (=> (instance ?SV SafetyVest) (hasPurpose ?SV (exists (?PERSON ?SPECTATOR) (and (instance ?PERSON Animal) (instance ?SPECTATOR Human) (increasesLikelihood (wears ?PERSON ?SV) (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR)))) (decreasesLikelihood (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR))) (exists (?INJ) (and (instance ?INJ Injuring) (agent ?INJ ?SPECTATOR) (patient ?INJ ?PERSON)))))))) |
Cars.kif 3636-3660 | If X is an instance of safety vest, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of animal (3) Z is an instance of human (4) Y wears X increases likelihood of there exists W such that W is an instance of seeing (5) Y is a patient of W (6) Z experiences W (7) there exists W such that W is an instance of seeing (8) Y is a patient of W (9) Z experiences W decreases likelihood of there exists V such that V is an instance of injuring (10) Z is an agent of V (11) Y is a patient of V |
|
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