student |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18182-18183 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18180-18180 | The number 1 argument of student is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18181-18181 | The number 2 argument of student is an instance of educational organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18179-18179 | student is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18178-18178 | student is a subrelation of member |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4682-4682 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4681-4681 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4680-4680 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65971-65971 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18185-18191 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20299-20308 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20314-20324 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20330-20340 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20346-20356 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18170-18176 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18095-18107 |
|
![]() |
![]() |