No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25553-25553 |
Clean 是 主观评价属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 203-203 |
危险 是 主观评价属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25558-25558 |
Dirty 是 主观评价属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1007-1007 |
Favorite 是 主观评价属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1857-1857 |
FeelingCold 是 主观评价属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1894-1894 |
FeelingHot 是 主观评价属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26161-26161 |
HandicappedFriendly 是 主观评价属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1490-1490 |
和平国家 是 主观评价属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1492-1492 |
战争状态 是 主观评价属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1061-1061 |
AmbienceAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1125-1125 |
FoodAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2995-2995 |
RatingAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17386-17386 |
SubjectiveStrongNegativeAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17369-17369 |
SubjectiveStrongPositiveAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17394-17394 |
SubjectiveWeakNegativeAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17377-17377 |
SubjectiveWeakPositiveAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25670-25670 |
TemperatureAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1022-1022 |
TimeAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1242-1242 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1705-1705 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 920-920 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 454-454 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 457-457 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2604-2604 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |