Object(客体) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1552-1554 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 847-852 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 122-125 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 141-145 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1204-1204 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 846-846 | 客体 是 物理 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 833-833 | 物理 详尽无遗地 partition 成 客体 和 过程 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9928-9928 | 洞主体函数 的 range 是 客体 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10069-10069 | 洞表面函数 的 range 是 客体 的实例 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2626-2626 | 线路 的 range 是 客体 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9831-9831 | 部分差异函数 的 range 是 客体 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9810-9810 | 部分积函数 的 range 是 客体 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9788-9788 | 部分总和函数 的 range 是 客体 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1776-1776 | Attr 的所得值 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18372-18372 | MakingFn 的所得值 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5250-5250 | OrganicObjectFn 的所得值 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15681-15681 | 人工制品 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14022-14022 | 天文体 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1556-1556 | 施事体 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1261-1261 | 群体 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24553-24553 | ContactSite 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3866-3866 | Magnet 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1251-1251 | 地区 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | 自身连接物体 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25611-25611 | SphericalObject 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2068-2068 | 龙卷风损害 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15250-15250 | 过境障碍 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4797-4797 | 二维物体 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2096-2096 | sublass Shrapnel and 客体 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 815-815 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1276-1276 | AccelerationFn 的 3 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2624-2624 | 线路 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2625-2625 | 线路 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9829-9829 | 部分差异函数 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9830-9830 | 部分差异函数 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9808-9808 | 部分积函数 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9809-9809 | 部分积函数 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9786-9786 | 部分总和函数 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9787-9787 | 部分总和函数 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 870-870 | 吸收剂量 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 936-936 | adjacentOrientation 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 184-184 | advertisedOn 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25673-25673 | 气温 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31363-31363 | allowableValue 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Music.kif 357-357 | anthem 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31376-31376 | applicableRelation 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1926-1926 | 问价格 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1720-1720 | 属于 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17465-17465 | 轴 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17466-17466 | 轴 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7816-7816 | 气压 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29769-29769 | beforeOnPath 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29770-29770 | beforeOnPath 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29771-29771 | beforeOnPath 的 3 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4152-4152 | 之间 的 1 数量 是 客体 的 instance |
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. | Mid-level-ontology.kif 23252-23258 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25687-25696 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5267-5276 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5258-5265 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 841-862 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 546-561 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1326-1342 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1312-1324 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 354-365 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 343-352 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22018-22025 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 468-478 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3239-3259 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 980-992 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 994-1003 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 145-160 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 373-379 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 381-388 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6000-6011 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17882-17892 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 313-325 | |
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. | Mid-level-ontology.kif 25322-25326 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1478-1491 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11754-11769 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6056-6075 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 7953-7978 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 7242-7257 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8736-8756 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 7702-7716 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6153-6169 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 7752-7765 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7877-7893 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8707-8727 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8034-8059 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 7600-7618 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8253-8275 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8776-8797 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8080-8105 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 6375-6391 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2065-2076 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1883-1900 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12984-12997 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21147-21177 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 368-376 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |