No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25554-25554 |
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 25559-25559 |
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 26173-26173 |
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 17364-17364 |
SubjectiveStrongNegativeAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17347-17347 |
SubjectiveStrongPositiveAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17372-17372 |
SubjectiveWeakNegativeAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17355-17355 |
SubjectiveWeakPositiveAttribute 是 主观评价属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25682-25682 |
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 |