possesses |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2133-2134 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4248-4251 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 788-789 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4245-4245 | possesses 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4246-4246 | possesses 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4244-4244 | possesses 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4243-4243 | possesses 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 171-171 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 172-172 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 105-105 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 224-224 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1934-1934 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 57-57 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 135-135 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 212-212 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 262-262 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 124-124 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 107-107 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 416-416 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11642-11642 | 改变所有权 和 possesses 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23853-23853 | financialAsset 是 possesses 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2068-2068 | 有帐户 是 possesses 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 172-172 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46802-46802 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46801-46801 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46800-46800 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 66-66 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2321-2326 | 金融账户 是 金融账户 的 instance 和 有认知的主事 possesses 金融资产 和 那个 金融账户 equal 那个 金融资产 的帐号 若且唯若 那个 有认知的主事 持有 account 那个 金融账户 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2392-2407 |
|
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. | ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4257-4263 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3188-3198 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2270-2278 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2397-2406 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2333-2355 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7269-7274 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11647-11654 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 218-226 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3543-3554 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 203-211 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16514-16522 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25158-25165 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25007-25014 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3528-3533 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1176-1180 | |
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. | Mid-level-ontology.kif 16882-16893 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1126-1130 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1192-1196 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16582-16589 | |
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. | UXExperimentalTerms.kif 632-640 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29507-29519 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4257-4263 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 978-982 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1139-1143 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18679-18695 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2397-2406 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11656-11666 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 601-609 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18621-18639 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1334-1343 | |
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 8736-8756 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8465-8488 |
|
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 8528-8549 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8344-8364 |
|
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. | Merge.kif 12892-12897 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23828-23845 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1157-1166 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |