property |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1712-1713 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1711-1713 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 315-317 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1708-1708 | 域 屬性, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1709-1709 | 域 屬性, 2 and Attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1707-1707 | 例 屬性 and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 177-177 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 178-178 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 108-108 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 235-235 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1937-1937 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 60-60 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 72-72 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 223-223 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 273-273 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 127-127 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 113-113 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 427-427 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1617-1617 | 子關係 抽象層次 and 屬性 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | 子關係 attribute and 屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1514-1514 | 子關係 複雜 and 屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1373-1373 | 子關係 設計模式 and 屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 459-459 | 子關係 環境屬性 and 屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1470-1470 | 子關係 適應形式 and 屬性 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1731-1731 | 子關係 方式 and 屬性 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17301-17301 | 子關係 模態屬性 and 屬性 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25575-25575 | 子關係 shape and 屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 796-796 | 子關係 狀態 and 屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1553-1553 | 子關係 嚴格 and 屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1342-1342 | 子關係 系統行為 and 屬性 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2680-2690 | 例 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 是 Entity 的 air 溫度 測量 29.530 and 英寸汞 是 Entity 的 barometric 壓力 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 476-484 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2056-2060 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 343-347 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 995-1000 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2090-2094 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2754-2766 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2768-2780 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2443-2457 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2365-2384 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22248-22252 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 241-246 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1165-1169 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1159-1163 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1137-1141 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1131-1135 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 403-409 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 453-458 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 427-433 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 435-441 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2359-2363 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2191-2205 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2096-2114 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 484-496 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 349-366 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3260-3266 | 採用 協議 and 協議 CognitiveAgent 屬性 CognitiveAgent and 僱用 協議 是 CognitiveAgent 的 party 協議 協議 是 CognitiveAgent 的 party 協議 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 989-992 | 電腦程序 ComputerProgram 是 電腦程序 的執行 program 屬性 ComputerProgram and 可執行 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 411-413 | 例 Entity and 寬軌鐵路 屬性 Entity and 寬規 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 469-471 | 例 Entity and DualGaugeRailway 屬性 Entity and 雙軌鐵路 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 460-462 | 例 Entity and 窄軌鐵路 屬性 Entity and 窄規 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 443-445 | 例 Entity and 標準軌距鐵路 屬性 Entity and 標準規 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14055-14058 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14016-14021 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17332-17345 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 476-484 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1162-1171 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 995-1000 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1165-1169 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1159-1163 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1137-1141 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1131-1135 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 501-517 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2712-2716 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2130-2143 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20823-20836 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1214-1218 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 267-272 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 260-265 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 326-331 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 63-67 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30567-30567 | 屬性 Cheetah and VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30543-30543 | 屬性 Crocodile and LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30584-30584 | 屬性 Ferret and LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30602-30602 | 屬性 GuineaPig and LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30614-30614 | 屬性 Hamster and LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30473-30473 | 屬性 Lemur and CriticallyEndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30374-30374 | 屬性 Lion and VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30503-30503 | 屬性 Octopus and LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30490-30490 | 屬性 Panda and VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30456-30456 | 屬性 Parrot and LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30525-30525 | 屬性 馴鹿 and VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30433-30433 | 屬性 Rhinoceros and 瀕危物種 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30413-30413 | 屬性 Tiger and 瀕危物種 |