| appearance as argument number 1 |
|
| (documentation hinders ChineseLanguage "这是一个概括的 Predicate，(hinders ?PROC1 ?PROC2) 的意思是 ?PROC1 的一个实例 decreasesLikelihood ?PROC2 类的发生。这个比 prevents 要弱，而 hindersSubclass 则是联系 Process 类别之间的关系。") | chinese_format.kif 2151-2153 | |
| (documentation hinders EnglishLanguage "A general Predicate, where (hinders ?PROC1 ?PROC2) means that an instance of ?PROC1 decreasesLikelihood of occurrence of ?PROC2. Compare with prevents which is stronger and hindersSubclass which relates classes of Processes.") | Merge.kif 4421-4423 | |
| (documentation hinders JapaneseLanguage "一般的な Predicate は、(hinders ?PROC1 ?PROC2) が?PROC2の発生の?PROC1 decreasesLikelihood のインスタンスを意味する。 Process のクラスに 関連するより強く hindersSubclass の prevents と比較する。") | japanese_format.kif 807-809 | |
| (domain hinders 1 Process) | Merge.kif 4417-4417 | |
| (domainSubclass hinders 2 Process) | Merge.kif 4418-4418 | |
| (instance hinders BinaryPredicate) | Merge.kif 4415-4415 | |
| (instance hinders PartialValuedRelation) | Merge.kif 4416-4416 | |
| (relatedInternalConcept hinders hindersSubclass) | Merge.kif 4419-4419 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage hinders "%1 hinders %2 ") | domainEnglishFormat.kif 3628-3628 | |
| (format ChineseTraditionalLanguage hinders "%1 hinders %2 ") | domainEnglishFormat.kif 3627-3627 | |
| (format EnglishLanguage hinders "%1 hinders %2") | domainEnglishFormat.kif 3626-3626 | |
| (relatedInternalConcept prevents hinders) | Merge.kif 4397-4397 | |
| (termFormat EnglishLanguage hinders "hinders") | domainEnglishFormat.kif 65858-65858 |
| antecedent |
|
|
| (=> (hinders ?X ?PROC) (exists (?L ?T) (decreasesLikelihood (and (equal (WhenFn ?X) ?T) (eventLocated ?X ?L)) (holdsDuring ?T (exists (?Y) (and (instance ?Y ?PROC) (eventLocated ?Y ?L))))))) |
Merge.kif 4425-4436 |
| consequent |
|
|
| (=> (instance ?X AutoAirbag) (hasPurpose ?X (exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT) (and (instance ?CAR Automobile) (part ?X ?CAR) (instance ?PERSON Human) (contains ?CAR ?PERSON) (instance ?IMP Impacting) (patient ?IMP ?CAR) (instance ?INF Inflating) (patient ?INF ?X) (causes ?IMP ?INF) (hinders ?INF (KappaFn ?INJ (and (instance ?INJ Injuring) (experiencer ?INJ ?PERSON) (exists (?HIT) (and (instance ?HIT Impacting) (destination ?HIT ?CAR) (experiencer ?HIT ?PERSON) (causes ?HIT ?INJ)))))))))) |
Cars.kif 3693-3717 | |
| (=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ ?T ?H ?HARM) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM)))))) |
Mid-level-ontology.kif 19992-20013 |
|
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