Outside
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9107-9109 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9105-9105 | 例 外 and PositionalAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9106-9106 | 相反的屬性 內 and 外 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43722-43722 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43721-43721 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43720-43720 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9119-9122 | 方位 Object, Object and 外 部分位於 Object and Object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 863-872 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 852-861 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 954-967 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9111-9113 |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2693-2704 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1057-1065 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1072-1080 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 548-564 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4350-4357 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9507-9519 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4669-4680 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11691-11701 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9124-9127 |