  attribute
|
|
Sigma KEE - attribute
|
appearance as argument number 1
|
|
|
| s__documentation(s__attribute__m,s__ChineseLanguage,'"(attribute ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如：(attribute MyLittleRedWagon Red)。"')
|
chinese_format.kif 1714-1715 |
|
| s__documentation(s__attribute__m,s__EnglishLanguage,'"(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red)."')
|
Merge.kif 1633-1635 |
|
| s__domain(s__attribute__m,n__1,s__Object)
|
Merge.kif 1630-1630 |
The number 1 argument of attribute is an instance of object |
| s__domain(s__attribute__m,n__2,s__Attribute)
|
Merge.kif 1631-1631 |
The number 2 argument of attribute is an instance of attribute |
| s__instance(s__attribute__m,s__AsymmetricRelation)
s__instance(s__AsymmetricRelation,s__SetOrClass)
|
Merge.kif 1625-1625 |
attribute is an instance of asymmetric relation |
| s__instance(s__attribute__m,s__BinaryPredicate)
s__instance(s__BinaryPredicate,s__SetOrClass)
|
Merge.kif 1628-1628 |
attribute is an instance of binary predicate |
| s__instance(s__IrreflexiveRelation,s__SetOrClass)
s__instance(s__attribute__m,s__IrreflexiveRelation)
|
Merge.kif 1626-1626 |
attribute is an instance of irreflexive relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__attribute__m,s__TotalValuedRelation)
|
Merge.kif 1627-1627 |
attribute is an instance of total valued relation |
| s__subrelation(s__attribute__m,s__property__m)
|
Merge.kif 1629-1629 |
attribute is a subrelation of property |
|
appearance as argument number 2
|
|
|
| s__disjointRelation(s__manner__m,s__attribute__m)
|
Merge.kif 1644-1644 |
manner and attribute are disjoint |
| s__format(s__ChineseLanguage,s__attribute__m,'"%2 %n 是 %1 的 attribute"')
|
chinese_format.kif 59-59 |
|
| s__format(s__EnglishLanguage,s__attribute__m,'"%2 is %n an attribute of %1"')
|
english_format.kif 59-59 |
|
| s__subrelation(s__bondRating__m,s__attribute__m)
|
FinancialOntology.kif 2451-2451 |
bond rating is a subrelation of attribute |
| s__subrelation(s__color__m,s__attribute__m)
|
Mid-level-ontology.kif 17940-17940 |
color is a subrelation of attribute |
| s__subrelation(s__creditRanking__m,s__attribute__m)
|
FinancialOntology.kif 2442-2442 |
credit ranking is a subrelation of attribute |
| s__subrelation(s__developmentalForm__m,s__attribute__m)
|
Merge.kif 13636-13636 |
developmental form is a subrelation of attribute |
| s__subrelation(s__deviceState__m,s__attribute__m)
|
Mid-level-ontology.kif 1817-1817 |
device state is a subrelation of attribute |
| s__subrelation(s__economyType__m,s__attribute__m)
|
Economy.kif 86-86 |
economy type is a subrelation of attribute |
| s__subrelation(s__governmentType__m,s__attribute__m)
|
Government.kif 130-130 |
government type is a subrelation of attribute |
| s__subrelation(s__hasGUEState__m,s__attribute__m)
|
ComputerInput.kif 1911-1911 |
hasGUEState is a subrelation of attribute |
| s__subrelation(s__hasMolecularStructuralAttribute__m,s__attribute__m)
|
VirusProteinAndCellPart.kif 118-118 |
has molecular structural attribute is a subrelation of attribute |
| s__subrelation(s__hostStatus__m,s__attribute__m)
|
QoSontology.kif 2115-2115 |
host status is a subrelation of attribute |
| s__subrelation(s__musicGenre__m,s__attribute__m)
|
Music.kif 338-338 |
music genre is a subrelation of attribute |
| s__subrelation(s__organizationalObjective__m,s__attribute__m)
|
Government.kif 2576-2576 |
organizational objective is a subrelation of attribute |
| s__termFormat(s__ChineseLanguage,s__attribute__m,'"属于"')
|
chinese_format.kif 60-60 |
|
|
antecedent
|
|
|
( ! [V__AGENT] :
((((s__instance(V__AGENT,s__SentientAgent) &
s__attribute(V__AGENT,s__Living))
=>
( ? [V__ATTR] :
((s__instance(V__ATTR,s__ConsciousnessAttribute) &
s__attribute(V__AGENT,V__ATTR)))))
&
(( ? [V__ATTR] :
((s__instance(V__ATTR,s__ConsciousnessAttribute) &
s__attribute(V__AGENT,V__ATTR))))
=>
(s__instance(V__AGENT,s__SentientAgent) &
s__attribute(V__AGENT,s__Living))))
)
)
|
Merge.kif 17453-17460 |
An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an attribute such that the attribute is an instance of consciousness attribute and the attribute is an attribute of the object |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28775-28785 |
An entity is an instance of body part and Bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position |
( ! [V__H] :
((s__instance(V__H,s__Agent) =>
(((s__attribute(V__H,s__LiteracyAttribute) =>
(s__hasSkill(s__Reading,V__H)
&
s__hasSkill(s__Writing,V__H)))
&
((s__hasSkill(s__Reading,V__H)
&
s__hasSkill(s__Writing,V__H))
=>
s__attribute(V__H,s__LiteracyAttribute)))))
)
)
|
Mid-level-ontology.kif 13722-13726 |
Literacy attribute is an attribute of an agent if and only if the agent has the skill to do reading and the agent has the skill to do writing |
( ! [V__HOLE1] :
((s__instance(V__HOLE1,s__Object) =>
(((s__attribute(V__HOLE1,s__Fillable) =>
( ? [V__HOLE2] :
((s__instance(V__HOLE2,s__Hole) &
s__part(V__HOLE1,V__HOLE2)))))
&
(( ? [V__HOLE2] :
((s__instance(V__HOLE2,s__Hole) &
s__part(V__HOLE1,V__HOLE2))))
=>
s__attribute(V__HOLE1,s__Fillable)))))
)
)
|
Merge.kif 9530-9535 |
Fillable is an attribute of an object if and only if there exists another object such that the other object is an instance of hole and the object is a part of the other object |
( ! [V__BG,V__I] :
(((s__instance(V__BG,s__BeliefGroup) &
s__instance(V__I,s__Object))
=>
(((s__attribute(V__I,s__BeliefGroupMemberFn(V__BG))
=>
s__member(V__I,V__BG))
&
(s__member(V__I,V__BG)
=>
s__attribute(V__I,s__BeliefGroupMemberFn(V__BG))))))
)
)
|
People.kif 679-681 |
A member of a belief group is an attribute of an object if and only if the object is a member of the belief group |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Agnostic) =>
s__member(V__INDIVIDUAL,s__Agnosticism))
&
(s__member(V__INDIVIDUAL,s__Agnosticism) =>
s__attribute(V__INDIVIDUAL,s__Agnostic)))))
)
)
|
People.kif 705-707 |
Agnostic is an attribute of an object if and only if the object is a member of agnosticism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__AhmadiyyaMuslim) =>
s__member(V__INDIVIDUAL,s__AhmadiyyaSect))
&
(s__member(V__INDIVIDUAL,s__AhmadiyyaSect) =>
s__attribute(V__INDIVIDUAL,s__AhmadiyyaMuslim)))))
)
)
|
People.kif 1350-1352 |
Ahmadiyya muslim is an attribute of an object if and only if the object is a member of ahmadiyya sect |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Anglican) =>
s__member(V__INDIVIDUAL,s__Anglicanism))
&
(s__member(V__INDIVIDUAL,s__Anglicanism) =>
s__attribute(V__INDIVIDUAL,s__Anglican)))))
)
)
|
People.kif 1228-1230 |
Anglican is an attribute of an object if and only if the object is a member of anglicanism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Anglican) =>
s__member(V__INDIVIDUAL,s__ChurchOfEngland))
&
(s__member(V__INDIVIDUAL,s__ChurchOfEngland) =>
s__attribute(V__INDIVIDUAL,s__Anglican)))))
)
)
|
People.kif 1236-1238 |
Anglican is an attribute of an object if and only if the object is a member of church of england |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Atheist) =>
s__member(V__INDIVIDUAL,s__Atheism))
&
(s__member(V__INDIVIDUAL,s__Atheism) =>
s__attribute(V__INDIVIDUAL,s__Atheist)))))
)
)
|
People.kif 723-725 |
Atheist is an attribute of an object if and only if the object is a member of atheism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Bahai) =>
s__member(V__INDIVIDUAL,s__Bahaism))
&
(s__member(V__INDIVIDUAL,s__Bahaism) =>
s__attribute(V__INDIVIDUAL,s__Bahai)))))
)
)
|
People.kif 760-762 |
Bahai is an attribute of an object if and only if the object is a member of bahaism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Buddhist) =>
s__member(V__INDIVIDUAL,s__Buddhism))
&
(s__member(V__INDIVIDUAL,s__Buddhism) =>
s__attribute(V__INDIVIDUAL,s__Buddhist)))))
)
)
|
People.kif 772-774 |
Buddhist is an attribute of an object if and only if the object is a member of buddhism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Confucianist) =>
s__member(V__INDIVIDUAL,s__Confucianism))
&
(s__member(V__INDIVIDUAL,s__Confucianism) =>
s__attribute(V__INDIVIDUAL,s__Confucianist)))))
)
)
|
People.kif 1309-1311 |
Confucianist is an attribute of an object if and only if the object is a member of confucianism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__DruzeMuslim) =>
s__member(V__INDIVIDUAL,s__DruzeSect))
&
(s__member(V__INDIVIDUAL,s__DruzeSect) =>
s__attribute(V__INDIVIDUAL,s__DruzeMuslim)))))
)
)
|
People.kif 1364-1366 |
Druze muslim is an attribute of an object if and only if the object is a member of druze sect |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__EasternOrthodoxChristian) =>
s__member(V__INDIVIDUAL,s__EasternOrthodoxChristianity))
&
(s__member(V__INDIVIDUAL,s__EasternOrthodoxChristianity) =>
s__attribute(V__INDIVIDUAL,s__EasternOrthodoxChristian)))))
)
)
|
People.kif 1250-1252 |
Eastern orthodox christian is an attribute of an object if and only if the object is a member of eastern orthodox christianity |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Hindu) =>
s__member(V__INDIVIDUAL,s__Hinduism))
&
(s__member(V__INDIVIDUAL,s__Hinduism) =>
s__attribute(V__INDIVIDUAL,s__Hindu)))))
)
)
|
People.kif 1321-1323 |
Hindu is an attribute of an object if and only if the object is a member of hinduism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Jain) =>
s__member(V__INDIVIDUAL,s__Jainism))
&
(s__member(V__INDIVIDUAL,s__Jainism) =>
s__attribute(V__INDIVIDUAL,s__Jain)))))
)
)
|
People.kif 1414-1416 |
Jain is an attribute of an object if and only if the object is a member of jainism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Muslim) =>
s__member(V__INDIVIDUAL,s__Islam))
&
(s__member(V__INDIVIDUAL,s__Islam) =>
s__attribute(V__INDIVIDUAL,s__Muslim)))))
)
)
|
People.kif 1333-1335 |
Muslim is an attribute of an object if and only if the object is a member of islam |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Neopaganismist) =>
s__member(V__INDIVIDUAL,s__Neopaganism))
&
(s__member(V__INDIVIDUAL,s__Neopaganism) =>
s__attribute(V__INDIVIDUAL,s__Neopaganismist)))))
)
)
|
People.kif 1460-1462 |
Neopaganismist is an attribute of an object if and only if the object is a member of neopaganism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Protestant) =>
s__member(V__INDIVIDUAL,s__Protestantism))
&
(s__member(V__INDIVIDUAL,s__Protestantism) =>
s__attribute(V__INDIVIDUAL,s__Protestant)))))
)
)
|
People.kif 1264-1266 |
Protestant is an attribute of an object if and only if the object is a member of protestantism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__ReligiousJew) =>
s__member(V__INDIVIDUAL,s__Judaism))
&
(s__member(V__INDIVIDUAL,s__Judaism) =>
s__attribute(V__INDIVIDUAL,s__ReligiousJew)))))
)
)
|
People.kif 1431-1433 |
Religious jew is an attribute of an object if and only if the object is a member of judaism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__RomanCatholic) =>
s__member(V__INDIVIDUAL,s__RomanCatholicChurch))
&
(s__member(V__INDIVIDUAL,s__RomanCatholicChurch) =>
s__attribute(V__INDIVIDUAL,s__RomanCatholic)))))
)
)
|
People.kif 1286-1288 |
Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__RomanCatholic) =>
s__member(V__INDIVIDUAL,s__RomanCatholicism))
&
(s__member(V__INDIVIDUAL,s__RomanCatholicism) =>
s__attribute(V__INDIVIDUAL,s__RomanCatholic)))))
)
)
|
People.kif 1278-1280 |
Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__ShiaMuslim) =>
s__member(V__INDIVIDUAL,s__ShiiteSect))
&
(s__member(V__INDIVIDUAL,s__ShiiteSect) =>
s__attribute(V__INDIVIDUAL,s__ShiaMuslim)))))
)
)
|
People.kif 1380-1382 |
Shia muslim is an attribute of an object if and only if the object is a member of shiite sect |
( ! [V__INDIVIDUAL] :
((s__instance(V__INDIVIDUAL,s__Object) =>
(((s__attribute(V__INDIVIDUAL,s__Shintoist) =>
s__member(V__INDIVIDUAL,s__Shinto))
&
(s__member(V__INDIVIDUAL,s__Shinto) =>
s__attribute(V__INDIVIDUAL,s__Shintoist)))))
)
)
|
People.kif 1475-1477 |
Shintoist is an attribute of an object if and only if the object is a member of shinto |
| | Display limited to 25 items. Show next 25 |
| | Display limited to 25 items. Show next 25 |
|
consequent
|
|
|
( ! [V__AGENT] :
((((s__instance(V__AGENT,s__SentientAgent) &
s__attribute(V__AGENT,s__Living))
=>
( ? [V__ATTR] :
((s__instance(V__ATTR,s__ConsciousnessAttribute) &
s__attribute(V__AGENT,V__ATTR)))))
&
(( ? [V__ATTR] :
((s__instance(V__ATTR,s__ConsciousnessAttribute) &
s__attribute(V__AGENT,V__ATTR))))
=>
(s__instance(V__AGENT,s__SentientAgent) &
s__attribute(V__AGENT,s__Living))))
)
)
|
Merge.kif 17453-17460 |
An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an attribute such that the attribute is an instance of consciousness attribute and the attribute is an attribute of the object |
( ! [V__PERSON] :
((((s__instance(V__PERSON,s__Human) &
( ! [V__ORG] :
((s__instance(V__ORG,s__Agent) =>
(~(s__employs(V__ORG,V__PERSON)))))))
=>
s__attribute(V__PERSON,s__Unemployed))
&
(s__attribute(V__PERSON,s__Unemployed) =>
(s__instance(V__PERSON,s__Human) &
( ! [V__ORG] :
((s__instance(V__ORG,s__Agent) =>
(~(s__employs(V__ORG,V__PERSON)))))))))
)
)
|
Merge.kif 16447-16453 |
A cognitive agent is an instance of human and for all an agent the agent doesn't employ the cognitive agent if and only if unemployed is an attribute of the cognitive agent |
( ! [V__Q] :
((s__instance(V__Q,s__Object) =>
(((s__attribute(V__Q,s__Queen) =>
(s__attribute(V__Q,s__QueenRegnant) |
s__attribute(V__Q,s__QueenConsort)))
&
((s__attribute(V__Q,s__QueenRegnant) |
s__attribute(V__Q,s__QueenConsort))
=>
s__attribute(V__Q,s__Queen)))))
)
)
|
Government.kif 1386-1390 |
Queen is an attribute of an object if and only if QueenRegnant is an attribute of the object or QueenConsort is an attribute of the object |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 411-442 |
The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 367-398 |
The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 221-238 |
The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number |
( ! [V__REGION] :
(((( ? [V__EMIT] :
((s__instance(V__EMIT,s__RadiatingLight) &
s__patient(V__EMIT,V__REGION)
&
s__instance(V__REGION,s__Region))))
=>
s__attribute(V__REGION,s__Illuminated))
&
(s__attribute(V__REGION,s__Illuminated) =>
( ? [V__EMIT] :
((s__instance(V__EMIT,s__RadiatingLight) &
s__patient(V__EMIT,V__REGION)
&
s__instance(V__REGION,s__Region))))))
)
)
|
Merge.kif 12999-13005 |
There exists a process such that the process is an instance of radiating light and an object is a patient of the process and the object is an instance of region if and only if illuminated is an attribute of the object |
( ! [V__B] :
(((s__instance(V__B,s__Bull) =>
(s__instance(V__B,s__Cow) &
s__attribute(V__B,s__Male)))
&
((s__instance(V__B,s__Cow) &
s__attribute(V__B,s__Male))
=>
s__instance(V__B,s__Bull)))
)
)
|
Mid-level-ontology.kif 18747-18751 |
An object is an instance of bull if and only if the object is an instance of cow and male is an attribute of the object |
( ! [V__C] :
(((s__instance(V__C,s__Calf) =>
(s__instance(V__C,s__Cow) &
s__attribute(V__C,s__NonFullyFormed)))
&
((s__instance(V__C,s__Cow) &
s__attribute(V__C,s__NonFullyFormed))
=>
s__instance(V__C,s__Calf)))
)
)
|
Mid-level-ontology.kif 18738-18742 |
An object is an instance of calf if and only if the object is an instance of cow and non fully formed is an attribute of the object |
( ! [V__COW] :
(((s__instance(V__COW,s__FemaleCow) =>
(s__instance(V__COW,s__Cow) &
s__attribute(V__COW,s__Female)))
&
((s__instance(V__COW,s__Cow) &
s__attribute(V__COW,s__Female))
=>
s__instance(V__COW,s__FemaleCow)))
)
)
|
Mid-level-ontology.kif 18756-18760 |
An object is an instance of female cow if and only if the object is an instance of cow and female is an attribute of the object |
( ! [V__DV] :
(((s__instance(V__DV,s__DamagedVehicle) =>
(s__instance(V__DV,s__Vehicle) &
s__attribute(V__DV,s__DeviceDamaged)))
&
((s__instance(V__DV,s__Vehicle) &
s__attribute(V__DV,s__DeviceDamaged))
=>
s__instance(V__DV,s__DamagedVehicle)))
)
)
|
Mid-level-ontology.kif 28691-28695 |
An object is an instance of DamagedVehicle if and only if the object is an instance of vehicle and DeviceDamaged is an attribute of the object |
( ! [V__H] :
(((s__instance(V__H,s__Hen) =>
(s__instance(V__H,s__Chicken) &
s__attribute(V__H,s__Female)))
&
((s__instance(V__H,s__Chicken) &
s__attribute(V__H,s__Female))
=>
s__instance(V__H,s__Hen)))
)
)
|
Mid-level-ontology.kif 18770-18774 |
An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object |
( ! [V__ICE] :
(((s__instance(V__ICE,s__Ice) =>
(s__instance(V__ICE,s__Water) &
s__attribute(V__ICE,s__Solid)))
&
((s__instance(V__ICE,s__Water) &
s__attribute(V__ICE,s__Solid))
=>
s__instance(V__ICE,s__Ice)))
)
)
|
Mid-level-ontology.kif 8457-8461 |
An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object |
( ! [V__L] :
(((s__instance(V__L,s__Lamb) =>
(s__instance(V__L,s__Sheep) &
s__attribute(V__L,s__NonFullyFormed)))
&
((s__instance(V__L,s__Sheep) &
s__attribute(V__L,s__NonFullyFormed))
=>
s__instance(V__L,s__Lamb)))
)
)
|
Mid-level-ontology.kif 18724-18728 |
An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object |
( ! [V__OBJ] :
(((s__instance(V__OBJ,s__Substance) =>
( ? [V__ATTR] :
((s__instance(V__ATTR,s__PhysicalState) &
s__attribute(V__OBJ,V__ATTR)))))
&
(( ? [V__ATTR] :
((s__instance(V__ATTR,s__PhysicalState) &
s__attribute(V__OBJ,V__ATTR))))
=>
s__instance(V__OBJ,s__Substance)))
)
)
|
Merge.kif 16765-16770 |
An object is an instance of substance if and only if there exists an attribute such that the attribute is an instance of physical state and the attribute is an attribute of the object |
( ! [V__R] :
(((s__instance(V__R,s__Rooster) =>
(s__instance(V__R,s__Chicken) &
s__attribute(V__R,s__Male)))
&
((s__instance(V__R,s__Chicken) &
s__attribute(V__R,s__Male))
=>
s__instance(V__R,s__Rooster)))
)
)
|
Mid-level-ontology.kif 18779-18783 |
An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object |
( ! [V__PKG,V__HOTEL] :
(((s__instance(V__PKG,s__HotelPackage) &
s__instance(V__HOTEL,s__Organization))
=>
((s__accommodationProvider(V__PKG,V__HOTEL)
=>
(s__attribute(V__HOTEL,s__TravelerAccommodation)))))
)
)
|
Hotel.kif 2724-2726 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15503-15512 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19308-19315 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17420-17426 |
|
| No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 193-212 |
|
( ! [V__O,V__P] :
((s__instance(V__O,s__Object) =>
(((s__attribute(V__O,V__P)
&
s__instance(V__P,s__Fingerprint) &
~(s__instance(V__O,s__Finger)))
=>
(( ? [V__PR, V__F] :
((s__instance(V__PR,s__Process) &
(s__instrument(V__PR,V__F)
&
s__instance(V__F,s__Finger) &
s__attribute(V__F,V__P)
&
s__patient(V__PR,V__O)))))))))
)
)
|
Mid-level-ontology.kif 11314-11324 |
|
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16523-16536 |
|
( ! [V__COLOR,V__OBJ,V__PART] :
(((s__instance(V__OBJ,s__Object) &
s__instance(V__PART,s__Object))
=>
(((s__attribute(V__OBJ,s__Monochromatic) &
s__superficialPart(V__PART,V__OBJ)
&
s__attribute(V__PART,V__COLOR)
&
s__instance(V__COLOR,s__PrimaryColor))
=>
(( ! [V__ELEMENT] :
((s__instance(V__ELEMENT,s__Object) =>
((s__superficialPart(V__ELEMENT,V__OBJ)
=>
(s__attribute(V__ELEMENT,V__COLOR)))))))))))
)
)
|
Merge.kif 16864-16873 |
|
( ! [V__OFFICER,V__COR] :
((s__instance(V__OFFICER,s__Agent) =>
(((s__attribute(V__OFFICER,V__COR)
&
s__instance(V__COR,s__CommissionedOfficerRank))
=>
(( ? [V__MANAGE, V__PATIENT] :
((s__instance(V__MANAGE,s__Managing) &
s__agent(V__MANAGE,V__OFFICER)
&
s__patient(V__MANAGE,V__PATIENT)
&
(s__instance(V__PATIENT,s__MilitaryOrganization) |
s__attribute(V__PATIENT,s__Soldier)))))))))
)
)
|
Military.kif 286-297 |
|
| | Display limited to 25 items. Show next 25 |
| | Display limited to 25 items. Show next 25 |
|