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 | 域 擁有, 1 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4246-4246 | 域 擁有, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4244-4244 | 例 擁有 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4243-4243 | 例 擁有 and BinaryPredicate |
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 | 相關的內部概念 ChangeOfPossession and 擁有 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23853-23853 | 子關係 financialAsset and 擁有 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2068-2068 | 子關係 有帳戶 and 擁有 |
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 | 例 金融賬戶 and 金融賬戶 擁有 CognitiveAgent and 金融資產 等於 金融賬戶 and 金融資產 的帳號 CognitiveAgent 持有 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 |