manner |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1734-1734 | manner and attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1716-1718 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1736-1740 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 320-323 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1732-1732 | The number 1 argument of manner is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1733-1733 | The number 2 argument of manner is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1727-1727 | manner is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1730-1730 | manner is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1728-1728 | manner is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1729-1729 | manner is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1731-1731 | manner is a subrelation of property |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 149-149 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 150-150 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 95-95 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 173-173 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1923-1923 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 47-47 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 179-179 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 211-211 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 114-114 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 94-94 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 343-343 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 150-150 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36011-36011 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36010-36010 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36009-36009 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 55-55 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 344-344 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30296-30310 | A process is performed in the manner harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30207-30218 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4946-4948 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11279-11290 |
|