HoleRegion
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2857-2862 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9889-9900 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1601-1609 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 500-500 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9887-9887 | Trou est une sous-classe de r�gion |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4691-4691 | SouthSandwichTrench est une instance de trou |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3659-3659 | ATMSlot est une sous-classe de trou |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12074-12074 | BodyOrifice est une sous-classe de trou |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6027-6027 | Burrow est une sous-classe de trou |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6012-6012 | Cave est une sous-classe de trou |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 324-324 | Crankcase est une sous-classe de trou |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6136-6136 | Glottis est une sous-classe de trou |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 959-959 | GolfHole est une sous-classe de trou |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 311-311 | InternalCombustionChamber est une sous-classe de trou |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12148-12148 | Pupil est une sous-classe de trou |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 944-944 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1095-1095 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 620-620 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 151-151 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 154-154 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 572-572 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 156-156 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 188-188 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 641-641 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 155-155 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9963-9963 | Le nombre 1 argument de HoleHostFn est une instance de trou |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10104-10104 | Le nombre 1 argument de HoleSkinFn est une instance de trou |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1538-1538 | Le nombre 1 argument de cylinderBore est une instance de trou |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10060-10060 | Le nombre 2 argument de fills est une instance de trou |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 994-994 | Le nombre 1 argument de hole est une instance de trou |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10014-10014 | Le nombre 2 argument de partiallyFills est une instance de trou |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1003-1003 | Le nombre 2 argument de properlyFills est une instance de trou |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1541-1549 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9975-9983 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10004-10008 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9902-9905 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9954-9957 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 754-765 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3617-3632 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2763-2776 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1621-1628 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1639-1645 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9997-10002 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4402-4407 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9907-9909 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9911-9914 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26001-26008 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1126-1139 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1706-1711 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 828-844 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18140-18148 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2826-2855 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1611-1621 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4512-4517 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5206-5226 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9451-9458 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4233-4240 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4300-4305 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25944-25950 |
|