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 |
缩写 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1455-1455 |
绝对高度 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 869-869 |
吸收剂量 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6110-6110 |
abstractCounterpart 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22794-22794 |
抽象的部分 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1618-1618 |
抽象层次 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 851-851 |
accessibleFromMenu 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1137-1137 |
accessibleFromMenuItem 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2759-2759 |
accommodationProvider 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 229-229 |
帐号在 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 624-624 |
accountAtSite 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 248-248 |
帐户持有人 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4410-4410 |
accountInformation 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3438-3438 |
帐号 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4156-4156 |
accountPhoneNumber 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3998-3998 |
帐户状态 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2292-2292 |
应计利息 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16533-16533 |
熟人 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3029-3029 |
acronym 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20745-20745 |
actedIn 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 155-155 |
actionTendency 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 591-591 |
activityCapability 是 二元谓语 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |