| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 284-284 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 283-283 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 282-282 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27230-27230 |
例 縮寫 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1455-1455 |
例 絕對高度 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 869-869 |
例 吸收劑量 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6110-6110 |
例 abstractCounterpart and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22794-22794 |
例 抽象的部分 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1618-1618 |
例 抽象層次 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 851-851 |
例 accessibleFromMenu and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1137-1137 |
例 accessibleFromMenuItem and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2759-2759 |
例 accommodationProvider and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 229-229 |
例 帳號在 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 624-624 |
例 accountAtSite and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 248-248 |
例 帳戶持有人 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4410-4410 |
例 accountInformation and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3438-3438 |
例 帳號 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4156-4156 |
例 accountPhoneNumber and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3998-3998 |
例 帳戶狀態 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2292-2292 |
例 應計利息 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16533-16533 |
例 熟人 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3029-3029 |
例 acronym and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20745-20745 |
例 actedIn and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 155-155 |
例 actionTendency and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 591-591 |
例 activityCapability and BinaryPredicate |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
BinaryPredicate