![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3310-3311 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13661-13662 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11804-11804 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10246-10246 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13660-13660 | Seeing is a subclass of perception |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13691-13691 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1217-1217 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1655-1655 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 895-895 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 428-428 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 431-431 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2579-2579 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 847-847 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 433-433 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 467-467 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 726-726 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 916-916 | Looking is a subclass of seeing |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 432-432 | Looking is a subclass of seeing |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 765-784 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6426-6435 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 962-975 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21345-21347 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16513-16523 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16497-16506 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 956-980 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2364-2383 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14892-14894 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2960-2966 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1161-1165 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1167-1172 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13441-13443 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3619-3643 |
|
No TPTP formula. May not be expressible in strict first order. | Justice.kif 51-59 |
|
No TPTP formula. May not be expressible in strict first order. | Justice.kif 75-77 |
|
No TPTP formula. May not be expressible in strict first order. | Justice.kif 71-73 |
|
![]() |
![]() |