No TPTP formula. May not be expressible in strict first order. |
Music.kif 544-544 |
AcidJazz 和 FunkMusic 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 545-545 |
AcidJazz 和 HipHopMusic 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 543-543 |
AcidJazz 和 JazzMusic 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 575-575 |
AlternativeCountry 和 CountryMusic 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 582-582 |
AlternativeDance 和 AlternativeRock 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 583-583 |
AlternativeDance 和 PopMusic 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4726-4726 |
台湾美国研究所 和 外交组织 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1905-1905 |
娱乐赌博和娱乐业 和 旅游产业 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 735-735 |
愤怒 和 Contempt 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1237-1237 |
AngryFacialExpression 和 愤怒 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1242-1242 |
AngryFacialExpression 和 皱着眉头 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1942-1942 |
AngryVoiceUtterance 和 愤怒 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1938-1938 |
AngryVoiceUtterance 和 SpeakingLoudly 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 54-54 |
Appraisal 和 AppraisalProcess 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1906-1906 |
艺术娱乐和游艺 和 旅游产业 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12349-12349 |
连接 和 放 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6480-6480 |
BalsaTree 和 BalsaWood 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 599-599 |
Bebop 和 JazzMusic 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6485-6485 |
BeechTree 和 BeechWood 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5944-5944 |
节点开端函数 和 节点起点函数 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24043-24043 |
生物学概念 和 出生 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24044-24044 |
生物学概念 和 交配 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24042-24042 |
生物学概念 和 有性繁殖 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6490-6490 |
BirchTree 和 BirchWood 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6495-6495 |
BlackCherryTree 和 CherryWood 是 内部相关 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |