appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3992-4002 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 653-653 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4003-4003 | Paper is a subclass of artifact |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44288-44288 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44287-44287 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44286-44286 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4017-4025 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4005-4015 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2717-2728 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3568-3572 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4032-4037 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16244-16246 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18516-18518 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4673-4680 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19761-19769 |
|
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19773-19790 | There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ |
![]() |
![]() |