Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| ! [V__CONFINE : $i,V__PERSON : $i] : (((s__instance(V__CONFINE, s__Confining) & s__patient(V__CONFINE, V__PERSON) & s__instance(V__PERSON, s__Human)) => ~(s__desires(V__PERSON, s__patient(V__CONFINE, V__PERSON))))) | Merge.kif 12498-12503 | If X is an instance of confining, Y is a patient of X, and Y is an instance of human, then Y doesn't desire Y is not a patient of X |
| ! [V__H : $i,V__T1 : $i,V__T1C : $i,V__T2 : $i,V__T2C : $i] : (((s__subclass(V__T1C, s__Tissue) & s__subclass(V__T2C, s__Tissue) & s__instance(V__T1, V__T1C) & s__instance(V__T2, V__T2C) & s__instance(V__H, s__Human) & s__part(V__T1, V__H) & s__part(V__T2, V__H) & ~(V__T1C = V__T2C) & ~(s__subclass(V__T1C, V__T2C)) & ~(s__subclass(V__T2C, V__T1C)) & s__orientation(V__T1, V__T2, s__Adjacent)) => s__modalAttribute(( ? [V__CT:$i] : ((s__instance(V__CT, s__ConnectiveTissue) & s__between(V__T1, V__CT, V__T2)))), s__Likely))) | Merge.kif 15462-15483 | If All of the following hold: (1) X is a subclass of tissue (2) Y is a subclass of tissue (3) Z is an instance of X (4) W is an instance of Y (5) V is an instance of human (6) Z is a part of V (7) W is a part of V (8) equal X and Y (9) X is not a subclass of Y (10) Y is not a subclass of X (11) Z is adjacent to W, then the statement there exists U such that U is an instance of connective tissue, U is between Z, and W has the modal force of likely |
| ! [V__PERSON : $i,V__T : $i] : (((s__holdsDuring(V__T, (s__instance(V__PERSON, s__Human) & ( ! [V__ORG:$i] : (~(s__employs(V__ORG, V__PERSON)))))) => s__holdsDuring(V__T, s__attribute(V__PERSON, s__Unemployed))) & (s__holdsDuring(V__T, s__attribute(V__PERSON, s__Unemployed)) => s__holdsDuring(V__T, (s__instance(V__PERSON, s__Human) & ( ! [V__ORG:$i] : (~(s__employs(V__ORG, V__PERSON))))))))) | Merge.kif 17604-17612 | X is an instance of human, Y Y doesn't employ X holds during Z if, and only if unemployed person is an attribute of X holds during Z |
| ! [V__H : $i,V__N : $int,V__T1 : $i] : (((s__instance(V__H, s__Human) & s__holdsDuring(V__T1, s__age(V__H, s__MeasureFn(V__N, s__YearDuration))) & ($greatereq(V__N,18))) => s__holdsDuring(V__T1, s__instance(V__H, s__HumanAdult)))) | Mid-level-ontology.kif 202-208 | If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is greater than or equal to 18, then X is an instance of human adult holds during Z |
| ! [V__ORG : $i,V__TIME : $i] : (((s__instance(V__ORG, s__Human) & s__holdsDuring(V__TIME, s__attribute(V__ORG, s__FullyFormed))) => s__holdsDuring(V__TIME, s__instance(V__ORG, s__HumanAdult)))) | Mid-level-ontology.kif 216-222 | If X is an instance of human and fully formed is an attribute of X holds during Y, then X is an instance of human adult holds during Y |
| ! [V__H : $i,V__N : $int,V__T1 : $i] : (((s__instance(V__H, s__Human) & s__holdsDuring(V__T1, s__age(V__H, s__MeasureFn(V__N, s__YearDuration))) & ($less(V__N,18))) => s__holdsDuring(V__T1, s__instance(V__H, s__HumanYouth)))) | Mid-level-ontology.kif 252-257 | If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is less than 18, then X is an instance of human youth holds during Z |
| ! [V__CHILD : $i,V__TIME : $i] : (((s__instance(V__CHILD, s__Human) & s__holdsDuring(V__TIME, s__attribute(V__CHILD, s__NonFullyFormed))) => s__holdsDuring(V__TIME, s__instance(V__CHILD, s__HumanYouth)))) | Mid-level-ontology.kif 269-275 | If X is an instance of human and non fully formed is an attribute of X holds during Y, then X is an instance of human youth holds during Y |
| ! [V__H : $i,V__N : $int,V__T1 : $i] : (((s__instance(V__H, s__Human) & s__holdsDuring(V__T1, s__age(V__H, s__MeasureFn(V__N, s__YearDuration))) & ($lesseq(V__N,14))) => s__holdsDuring(V__T1, s__instance(V__H, s__HumanChild)))) | Mid-level-ontology.kif 294-301 | If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is less than or equal to 14, then X is an instance of human child holds during Z |
| ! [V__H : $i,V__N : $int,V__T1 : $i] : (((s__instance(V__H, s__Human) & s__holdsDuring(V__T1, s__age(V__H, s__MeasureFn(V__N, s__YearDuration))) & ($greater(V__N,12)) & ($less(V__N,20))) => s__holdsDuring(V__T1, s__instance(V__H, s__Teenager)))) | Mid-level-ontology.kif 325-331 | If X is an instance of human, the age of X is Y year duration(s) holds during Z, Y is greater than 12, and Y is less than 20, then X is an instance of teenager holds during Z |
| ! [V__H : $i,V__N : $int,V__T1 : $i] : (((s__instance(V__H, s__Human) & s__holdsDuring(V__T1, s__age(V__H, s__MeasureFn(V__N, s__YearDuration))) & ($lesseq(V__N,1))) => s__holdsDuring(V__T1, s__instance(V__H, s__HumanBaby)))) | Mid-level-ontology.kif 375-380 | If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is less than or equal to 1, then X is an instance of human baby holds during Z |
| ! [V__R,V__H,V__S] : (((s__instance(V__R,s__RadiatingLight) & s__instance(V__H,s__Human) & s__instance(V__S,s__Seeing) & s__agent(V__S,V__H) & s__patient(V__S,V__R)) => s__instance(V__R,s__RadiatingVisibleLight)) )
|
Mid-level-ontology.kif 607-614 | If X is an instance of radiating light, Y is an instance of human, Z is an instance of seeing, Y is an agent of Z, and X is a patient of Z, then X is an instance of radiating visible light |
| ! [V__H] : (((s__instance(V__H,s__Human) & s__attribute(V__H,s__Fever)) => (? [V__N] : ((s__instance(V__N,s__RealNumber) & (s__measure(V__H,s__MeasureFn(V__N,s__FahrenheitDegree)) & s__greaterThan(V__N,n__98_6)))))) )
|
Mid-level-ontology.kif 7280-7288 | If X is an instance of human and a fever is an attribute of X, then there exists Y such that the measure of X is Y fahrenheit degree(s) and Y is greater than 98.6 |
| ! [V__S : $i,V__V : $i] : (((s__instance(V__S, s__Strangling) & s__patient(V__S, V__V) & s__instance(V__V, s__Human)) => s__hasPurpose(V__S, ~(( ? [V__B:$i] : ((s__instance(V__B, s__Breathing) & s__agent(V__B, V__V)))))))) | Mid-level-ontology.kif 7625-7635 | If X is an instance of strangling, Y is a patient of X, and Y is an instance of human, then X has the purpose there doesn't exist Z such that Z is an instance of breathing and Y is an agent of Z |
| ! [V__AUDITORIUM : $i,V__PERSON : $i,V__SEAT : $i,V__SEEING : $i,V__STAGE : $i] : (((s__instance(V__SEAT, s__AuditoriumSeat) & s__part(V__SEAT, V__AUDITORIUM) & s__part(V__STAGE, V__AUDITORIUM) & s__instance(V__AUDITORIUM, s__Auditorium) & s__instance(V__STAGE, s__PerformanceStage) & s__located(V__PERSON, V__SEAT) & s__instance(V__PERSON, s__Human)) => s__capability(s__KappaFn(V__SEEING, (s__instance(V__SEEING, s__Seeing) & s__patient(V__SEEING, V__STAGE))), s__agent, V__PERSON))) | Mid-level-ontology.kif 8648-8661 | If All of the following hold: (1) X is an instance of auditorium seat (2) X is a part of Y (3) Z is a part of Y (4) Y is an instance of auditorium (5) Z is an instance of performance stage (6) W is located at X (7) W is an instance of human, then W is capable of doing the class described by V as a agent |
| ! [V__DESCENDANTS,V__MEMBER,V__PERSON] : (((s__instance(V__DESCENDANTS,s__FamilyGroup) & s__instance(V__MEMBER,s__Organism)) => ((s__instance(V__PERSON,s__Human) & (s__DescendantsFn(V__PERSON) = V__DESCENDANTS) & s__member(V__MEMBER,V__DESCENDANTS)) => s__ancestor(V__MEMBER,V__PERSON))) )
|
Mid-level-ontology.kif 8789-8795 | If X is an instance of human, equal the descendants of X and Y, and Z is a member of Y, then X is the ancestor of Z |
| ! [V__GROUP : $i,V__OBJ : $i,V__T1 : $i] : (((s__holdsDuring(V__T1, s__member(V__OBJ, V__GROUP)) & s__instance(V__OBJ, s__Human) & s__instance(V__GROUP, s__GroupOfPeople)) => s__holdsDuring(V__T1, s__groupMember(V__OBJ, V__GROUP)))) | Mid-level-ontology.kif 8883-8890 | If X is a member of Y holds during Z, X is an instance of human, and Y is an instance of group of people, then X is a member of Y holds during Z |
| ! [V__RC,V__H,V__P] : (((s__instance(V__RC,s__RibCage) & s__part(V__RC,V__H) & s__instance(V__H,s__Human) & s__attribute(V__H,s__Living) & ~((s__instance(V__P,s__PathologicProcess) & s__located(V__P,V__H)))) => (? [V__HT,V__LG] : ((s__instance(V__LG,s__Object) & (s__instance(V__HT,s__Heart) & s__instance(V__HT,s__Lung) & s__contains(V__RC,V__LG) & s__contains(V__RC,V__HT)))))) )
|
Mid-level-ontology.kif 12743-12758 | If X is an instance of rib cage, X is a part of Y, Y is an instance of human, living is an attribute of Y, and ~{ Z is an instance of pathologic process } or ~{ Z is located at Y }, then there exist W, V such that W is an instance of heart, W is an instance of lung, X contains V, and X contains W |
| ! [V__B,V__H] : (((s__instance(V__B,s__Breast) & s__instance(V__H,s__Human) & s__part(V__B,V__H)) => s__part(V__B,s__FrontFn(V__H))) )
|
Mid-level-ontology.kif 14465-14471 | If X is an instance of breast, Y is an instance of human, and X is a part of Y, then X is a part of the front of Y |
| ! [V__STRIKE,V__PERSON,V__ORG] : (((s__instance(V__STRIKE,s__LaborStriking) & s__agent(V__STRIKE,V__PERSON) & s__instance(V__PERSON,s__Human) & s__patient(V__STRIKE,V__ORG) & s__instance(V__ORG,s__Organization)) => s__employs(V__ORG,V__PERSON)) )
|
Mid-level-ontology.kif 18534-18541 | If X is an instance of labor striking, Y is an agent of X, Y is an instance of human, Z is a patient of X, and Z is an instance of organization, then Z employs Y |
| ! [V__HEIR : $i,V__INHERIT : $i,V__PERSON : $i,V__PROPERTY : $i] : (((s__instance(V__INHERIT, s__Inheriting) & s__agent(V__INHERIT, V__HEIR) & s__instance(V__HEIR, s__Human) & s__origin(V__INHERIT, V__PERSON) & s__instance(V__PERSON, s__Human) & s__patient(V__INHERIT, V__PROPERTY) & s__instance(V__PROPERTY, s__Object)) => ( ? [V__DEATH:$i] : ((s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__PERSON) & s__earlier(s__WhenFn(V__DEATH), s__WhenFn(V__INHERIT)) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEATH)), s__possesses(V__PERSON, V__PROPERTY)) & s__confersRight(V__PERSON, V__HEIR, s__possesses(V__HEIR, V__PROPERTY))))))) | Mid-level-ontology.kif 20540-20561 | If All of the following hold: (1) X is an instance of inheriting (2) Y is an agent of X (3) Y is an instance of human (4) X originates at Z (5) Z is an instance of human (6) W is a patient of X (7) W is an instance of object, then there exists V such that V is an instance of death, Z experiences V, the time of existence of V happens earlier than the time of existence of X, Z possesses W holds during immediately before the time of existence of V, and Y allows Y possesses W to perform task of the type Z |
| ! [V__O,V__H] : (((s__instance(V__O,s__OpeningEye) & s__agent(V__O,V__H) & s__instance(V__H,s__Human) & ~(s__attribute(V__H,s__Blind))) => (? [V__S,V__R] : ((s__instance(V__S,s__Seeing) & s__agent(V__S,V__H) & s__patient(V__S,V__R) & s__instance(V__R,s__RadiatingVisibleLight) & s__during(s__WhenFn(V__S) ,s__WhenFn(V__O)))))) )
|
Mid-level-ontology.kif 22112-22127 | If X is an instance of opening eye, Y is an agent of X, Y is an instance of human, and blindness is not an attribute of Y, then there exist Z, W such that Z is an instance of seeing, Y is an agent of Z, W is a patient of Z, W is an instance of radiating visible light, and the time of existence of Z takes place during the time of existence of X |
| ! [V__W,V__WORK,V__PERSON] : (((s__instance(V__W,s__WorkLeave) & s__instance(V__WORK,s__Working) & s__agent(V__W,V__PERSON) & s__agent(V__WORK,V__PERSON) & s__instance(V__PERSON,s__Human)) => ~(s__overlapsTemporally(s__WhenFn(V__W) ,s__WhenFn(V__WORK)))) )
|
Mid-level-ontology.kif 22668-22678 | If X is an instance of work leave, Y is an instance of working, Z is an agent of X, Z is an agent of Y, and Z is an instance of human, then the time of existence of Y doesn't overlap the time of existence of X |
| ! [V__CUST : $i,V__REST : $i,V__TABLE : $i,V__X : $i] : (((s__attribute(V__X, s__Waiter) & s__instance(V__X, s__Human) & s__employs(V__REST, V__X) & s__instance(V__REST, s__Restaurant) & s__customer(V__CUST, V__REST) & s__located(V__CUST, V__TABLE) & s__instance(V__TABLE, s__Table)) => ( ? [V__DINING:$i, V__C:$i, V__FOOD:$i, V__KITCHEN:$i] : ((s__possesses(V__REST, V__KITCHEN) & s__instance(V__KITCHEN, s__KitchenArea) & s__instance(V__DINING, s__DiningArea) & s__located(V__TABLE, V__DINING) & s__hasPurpose(V__X, (s__instance(V__C, s__Carrying) & s__agent(V__C, V__X) & s__origin(V__C, V__KITCHEN) & s__destination(V__C, V__TABLE) & s__patient(V__C, V__FOOD) & s__instance(V__FOOD, s__FoodForFn(s__Human))))))))) | Mid-level-ontology.kif 22843-22865 | If All of the following hold: (1) waiter is an attribute of X (2) X is an instance of human (3) Y employs X (4) Y is an instance of restaurant (5) Y is a customer of Z (6) Z is located at W (7) W is an instance of table, then All of the following hold: (1) there exist V, U,, , T (2) S such that Y possesses S (3) S is an instance of kitchen area (4) V is an instance of dining area (5) W is located at V (6) X has the purpose U is an instance of carrying (7) X is an agent of U (8) U originates at S (9) U ends up at W (10) T is a patient of U (11) T is an instance of food for human |
| ! [V__ORG : $i,V__T1 : $i,V__X : $i] : (((s__instance(V__ORG, s__MilitaryOrganization) & s__holdsDuring(V__T1, s__member(V__X, V__ORG)) & s__instance(V__X, s__Human)) => s__holdsDuring(V__T1, s__attribute(V__X, s__MilitaryPerson)))) | Mid-level-ontology.kif 24747-24752 | If X is an instance of military organization, Y is a member of X holds during Z, and Y is an instance of human, then military person is an attribute of Y holds during Z |
| ! [V__IMPRISON,V__AGENT,V__INTERVAL] : (((s__instance(V__IMPRISON,s__Imprisoning) & s__detainee(V__IMPRISON,V__AGENT) & s__instance(V__AGENT,s__Human) & s__time(V__IMPRISON,V__INTERVAL) & s__instance(V__INTERVAL,s__TimeInterval)) => (? [V__ARREST,V__TIME] : ((s__instance(V__TIME,s__TimeInterval) & s__time(V__ARREST,V__TIME) & s__earlier(V__TIME,V__INTERVAL) & s__instance(V__ARREST,s__PlacingUnderArrest) & s__arrested(V__ARREST,V__AGENT))))) )
|
Mid-level-ontology.kif 25831-25844 | If X is an instance of imprisoning, Y is a detainee of X, Y is an instance of human, X exists during Z, and Z is an instance of timeframe, then there exist W, V such that V is an instance of timeframe, W exists during V, V happens earlier than Z, W is an instance of placing under arrest, and Y is placed under arrest during W |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| ! [V__PROC,V__AGENT,V__LANG] : (((s__instance(V__PROC,s__Process) & s__instance(V__AGENT,s__AutonomousAgent)) => ((s__instance(V__LANG,s__AnimalLanguage) & s__agent(V__PROC,V__AGENT) & s__instrument(V__PROC,V__LANG)) => (s__instance(V__AGENT,s__Animal) & ~(s__instance(V__AGENT,s__Human))))) )
|
Merge.kif 1509-1516 | If X is an instance of animal language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of animal and Y is not an instance of human |
| ! [V__PROC,V__AGENT,V__LANG] : (((s__instance(V__PROC,s__Process) & s__instance(V__AGENT,s__AutonomousAgent)) => ((s__instance(V__LANG,s__HumanLanguage) & s__agent(V__PROC,V__AGENT) & s__instrument(V__PROC,V__LANG)) => s__instance(V__AGENT,s__Human))) )
|
Merge.kif 1542-1547 | If X is an instance of human language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of human |
| ! [V__COOK] : ((s__instance(V__COOK,s__Cooking) => (? [V__FOOD] : ((s__instance(V__FOOD,s__FoodForFn(s__Human)) & s__result(V__COOK,V__FOOD))))) )
|
Merge.kif 13157-13162 | If X is an instance of cooking, then there exists Y such that Y is an instance of food for human and Y is a result of X |
| ! [V__OBJ : $i,V__SOUND : $i] : (((s__instance(V__SOUND, s__RadiatingSound) & s__agent(V__SOUND, V__OBJ) & s__attribute(V__SOUND, s__Audible)) => ( ? [V__HUMAN:$i, V__HEAR:$i] : ((s__instance(V__HUMAN, s__Human) & s__capability(s__KappaFn(V__HEAR, (s__instance(V__HEAR, s__Hearing) & s__agent(V__HEAR, V__HUMAN) & s__destination(V__HEAR, V__HUMAN) & s__origin(V__HEAR, V__OBJ))), s__agent, V__HUMAN)))))) | Merge.kif 13920-13934 | If X is an instance of radiating sound, Y is an agent of X, and audible is an attribute of X, then there exist Z, W such that Z is an instance of human, and Z is capable of doing the class described by W as a agent |
| ! [V__BUILDING] : ((s__instance(V__BUILDING,s__Building) => (? [V__HUMAN] : ((s__instance(V__HUMAN,s__Human) & (s__inhabits(V__HUMAN,V__BUILDING) | (? [V__ACT] : ((s__instance(V__ACT,s__Process) & (s__agent(V__ACT,V__HUMAN) & s__located(V__ACT,V__BUILDING)))))))))) )
|
Merge.kif 16028-16038 | If X is an instance of building, then there exists Y such that Y is an instance of human, Y lives in X or there exists Z such that Y is an agent of Z, and Z is located at X |
| ! [V__AW : $i] : ((s__instance(V__AW, s__ArtWork) => s__hasPurpose(V__AW, ( ? [V__H:$i, V__P:$i] : ((s__instance(V__H, s__Human) & s__instance(V__P, s__Perception) & s__experiencer(V__P, V__H) & s__patient(V__P, V__AW))))))) | Merge.kif 16161-16169 | If X is an instance of art work, then X has the purpose there exist Y, Z such that Y is an instance of human, Z is an instance of perception, Y experiences Z, and X is a patient of Z |
| ! [V__AW : $i] : ((s__instance(V__AW, s__ArtWork) => s__hasPurpose(V__AW, ( ? [V__H:$i] : ((s__instance(V__H, s__Human) & s__desires(V__H, ( ? [V__P:$i] : ((s__instance(V__P, s__Perception) & s__experiencer(V__P, V__H) & s__patient(V__P, V__AW))))))))))) | Merge.kif 16171-16182 | If X is an instance of art work, then X has the purpose there exists Y such that Y is an instance of human, Y desires there exists Z such that Z is an instance of perception, Y experiences Z, and X is a patient of Z |
| ! [V__WI : $i] : ((s__instance(V__WI, s__WearableItem) => s__hasPurpose(V__WI, ( ? [V__H:$i] : ((s__instance(V__H, s__Human) & s__wears(V__H, V__WI))))))) | Merge.kif 16209-16215 | If X is an instance of wearable item, then X has the purpose there exists Y such that Y is an instance of human and Y wears X |
| ! [V__MEMBER,V__GROUP] : ((s__instance(V__MEMBER,s__Physical) => ((s__instance(V__GROUP,s__GroupOfPeople) & s__member(V__MEMBER,V__GROUP)) => s__instance(V__MEMBER,s__Human))) )
|
Merge.kif 16597-16601 | If X is an instance of group of people and Y is a member of X, then Y is an instance of human |
| ! [V__PERSON,V__ATTRIBUTE] : ((s__instance(V__PERSON,s__Object) => ((s__attribute(V__PERSON,V__ATTRIBUTE) & s__instance(V__ATTRIBUTE,s__SocialRole)) => s__instance(V__PERSON,s__Human))) )
|
Merge.kif 17594-17598 | If X is an attribute of Y and X is an instance of social role, then Y is an instance of human |
| ! [V__X] : ((s__instance(V__X,s__HumanCorpse) => s__instance(V__X,s__DeadFn(s__Human))) )
|
Mid-level-ontology.kif 92-94 | If X is an instance of human corpse, then X is an instance of a dead human |
| ! [V__SLAVE : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__attribute(V__SLAVE, s__HumanSlave)) => ( ? [V__PERSON:$i] : ((s__instance(V__PERSON, s__Human) & ~(V__PERSON = V__SLAVE) & s__holdsDuring(V__TIME, s__possesses(V__PERSON, V__SLAVE))))))) | Mid-level-ontology.kif 156-163 | If human slave is an attribute of X holds during Y, then there exists Z such that Z is an instance of human, equal Z, X, and Z possesses X holds during Y |
| ! [V__B : $i] : ((s__instance(V__B, s__Buttstock) => s__hasPurpose(V__B, ( ? [V__L:$i, V__S:$i, V__A:$i, V__SH:$i] : ((s__instance(V__L, s__Longgun) & s__part(V__B, V__L) & s__instance(V__S, s__Shooting) & s__instrument(V__S, V__L) & s__agent(V__S, V__A) & s__instance(V__A, s__Human) & s__part(V__SH, V__A) & s__instance(V__SH, s__Shoulder) & s__holdsDuring(s__WhenFn(V__S), s__meetsSpatially(V__S, V__B)))))))) | Mid-level-ontology.kif 1475-1490 | If X is an instance of butt stock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of long gun (3) X is a part of Y (4) Z is an instance of shooting (5) Y is an instrument for Z (6) W is an agent of Z (7) W is an instance of human (8) V is a part of W (9) V is an instance of shoulder (10) Z meets X holds during the time of existence of Z |
| ! [V__S : $i] : ((s__instance(V__S, s__Shield) => s__hasPurpose(V__S, ( ? [V__P:$i, V__H:$i, V__I:$i] : ((s__instance(V__P, s__Protecting) & s__instrument(V__P, V__S) & s__instance(V__H, s__Human) & s__patient(V__P, V__H) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__W:$i] : ((s__instance(V__W, s__Weapon) & s__instrument(V__I, V__W)))) & (s__patient(V__I, V__H) => ~(s__patient(V__P, V__H)))))))))))) | Mid-level-ontology.kif 1758-1778 | If X is an instance of shield, then X has the purpose there exist Y, Z, W such that Y is an instance of protecting, X is an instrument for Y, Z is an instance of human, Z is a patient of Y, and Y prevents the occurrence of the class described by W |
| ! [V__GUN] : ((s__instance(V__GUN,s__ArtilleryGun) => ~((? [V__A,V__C] : ((s__instance(V__A,s__Human) & s__instance(V__C,s__Carrying) & s__instrument(V__C,V__A) & s__objectTransferred(V__C,V__GUN)))))) )
|
Mid-level-ontology.kif 1889-1897 | If X is an instance of artillery gun, then there don't exist Y, Z such that Y is an instance of human, Z is an instance of carrying, Y is an instrument for Z, and the object transferred in Z is X |
| ! [V__GUN : $i] : ((s__instance(V__GUN, s__Firearm) => s__hasPurpose(V__GUN, ( ? [V__A:$i, V__CARRY:$i, V__C:$i] : ((s__instance(V__A, s__Human) & s__subclass(V__CARRY, s__Carrying) & s__instance(V__C, V__CARRY) & s__objectTransferred(V__C, V__GUN) & s__capability(V__CARRY, s__instrument, V__A) & ~(( ? [V__A2:$i] : ((s__instance(V__A2, s__Human) & ~(V__A = V__A2) & s__instrument(V__C, V__A2))))))))))) | Mid-level-ontology.kif 1924-1940 | If X is an instance of firearm, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) Z is a subclass of carrying (4) W is an instance of Z (5) the object transferred in W is X (6) Y is capable of doing Z as a instrument (7) there doesn't exist V such that V is an instance of human (8) equal Y (9) V (10) V is an instrument for W |
| ! [V__GUN : $i] : ((s__instance(V__GUN, s__Firearm) => s__hasPurpose(V__GUN, ( ? [V__A:$i, V__SHOOT:$i, V__S:$i] : ((s__instance(V__A, s__Human) & s__subclass(V__SHOOT, s__Shooting) & s__instance(V__S, V__SHOOT) & s__objectTransferred(V__S, V__GUN) & s__capability(V__SHOOT, s__agent, V__A) & ~(( ? [V__A2:$i] : ((s__instance(V__A2, s__Human) & ~(V__A = V__A2) & s__agent(V__S, V__A2))))))))))) | Mid-level-ontology.kif 1942-1958 | If X is an instance of firearm, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) Z is a subclass of shooting (4) W is an instance of Z (5) the object transferred in W is X (6) Y is capable of doing Z as a agent (7) there doesn't exist V such that V is an instance of human (8) equal Y (9) V (10) V is an agent of W |
| ! [V__L : $i] : ((s__instance(V__L, s__Longgun) => s__hasPurpose(V__L, ( ? [V__S:$i, V__A:$i] : ((s__instance(V__S, s__Shooting) & s__instrument(V__S, V__L) & s__agent(V__S, V__A) & s__instance(V__A, s__Human) & s__holdsDuring(s__WhenFn(V__S), ( ? [V__G:$i] : ((s__instance(V__G, s__Grabbing) & s__agent(V__G, V__A) & s__patient(V__G, V__L) & s__modalAttribute(( ? [V__H1:$i, V__H2:$i] : ((s__instance(V__H1, s__Hand) & s__part(V__H1, V__A) & s__instance(V__H2, s__Hand) & s__part(V__H2, V__A) & ~(V__H1 = V__H2) & s__instrument(V__G, V__H1) & s__instrument(V__G, V__H2)))), s__Necessity))))))))))) | Mid-level-ontology.kif 1966-1992 | If X is an instance of long gun, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of shooting (3) X is an instrument for Y (4) Z is an agent of Y (5) Z is an instance of human (6) there exists W such that W is an instance of grabbing (7) Z is an agent of W (8) X is a patient of W (9) the statement there exist V (10) U such that V is an instance of hand (11) V is a part of Z (12) U is an instance of hand (13) U is a part of Z (14) equal V (15) U (16) V is an instrument for W (17) U is an instrument for W has the modal force of necessity holds during the time of existence of Y |
| ! [V__GUN : $i] : ((s__instance(V__GUN, s__Handgun) => s__hasPurpose(V__GUN, ( ? [V__MAN:$i, V__S:$i, V__H:$i, V__G:$i, V__S:$i] : ((s__instance(V__MAN, s__Human) & s__instance(V__S, s__Shooting) & s__instrument(V__S, V__GUN) & s__agent(V__S, V__MAN) & s__instance(V__G, s__Grabbing) & s__subProcess(V__G, V__S) & s__patient(V__G, V__GUN) & s__agent(V__G, V__MAN) & s__instrument(V__G, V__H) & s__instance(V__H, s__Hand) & s__part(V__H, V__MAN) & ~(s__modalAttribute(( ? [V__H2:$i] : ((s__instance(V__H2, s__Hand) & ~(V__H = V__H2) & s__part(V__H2, V__MAN) & s__instrument(V__G, V__H2)))), s__Necessity)))))))) | Mid-level-ontology.kif 2045-2069 | If X is an instance of hand gun, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) Z such that Y is an instance of human (3) Z is an instance of shooting (4) X is an instrument for Z (5) Y is an agent of Z (6) V is an instance of grabbing (7) V is a subprocess of Z (8) X is a patient of V (9) Y is an agent of V (10) W is an instrument for V (11) W is an instance of hand (12) W is a part of Y (13) the statement there doesn't exist U such that U is an instance of hand (14) equal W (15) U (16) U is a part of Y (17) U is an instrument for V doesn't have the modal force of necessity |
| ! [V__VM : $i] : ((s__instance(V__VM, s__VendingMachine) => s__hasPurpose(V__VM, ( ? [V__H:$i, V__O:$i, V__V:$i] : ((s__instance(V__V, s__Vending) & s__instance(V__H, s__Human) & s__instance(V__O, s__Object) & s__objectTransferred(V__V, V__O) & s__instrument(V__V, V__VM) & s__origin(V__V, V__VM) & ~(s__instance(V__O, s__Currency)) & s__destination(V__V, V__H))))))) | Mid-level-ontology.kif 2534-2547 | If X is an instance of vending machine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of vending (3) Y is an instance of human (4) Z is an instance of object (5) the object transferred in W is Z (6) X is an instrument for W (7) W originates at X (8) Z is not an instance of currency (9) W ends up at Y |
| ! [V__X] : ((s__instance(V__X,s__PreparedFood) => s__instance(V__X,s__FoodForFn(s__Human))) )
|
Mid-level-ontology.kif 2568-2570 | If X is an instance of food, then X is an instance of food for human |
| ! [V__O : $i,V__V : $i] : (((s__instance(V__V, s__Vending) & s__objectTransferred(V__V, V__O) & ~(s__instance(V__O, s__Currency))) => s__modalAttribute((s__instance(V__O, s__FoodForFn(s__Human)) | s__instance(V__O, s__Beverage)), s__Likely))) | Mid-level-ontology.kif 2585-2594 | If X is an instance of vending, the object transferred in X is Y, and Y is not an instance of currency, then the statement Y is an instance of food for human or Y is an instance of beverage has the modal force of likely |
| ! [V__AD] : ((s__instance(V__AD,s__HumanDoll) => (? [V__H] : ((s__instance(V__H,s__Human) & s__represents(V__AD,V__H))))) )
|
Mid-level-ontology.kif 3019-3024 | If X is an instance of human doll, then there exists Y such that Y is an instance of human and X expresses Y |
| ! [V__SEAT : $i] : ((s__instance(V__SEAT, s__Seat) => s__hasPurpose(V__SEAT, ( ? [V__PERSON:$i] : ((s__instance(V__PERSON, s__Human) & s__located(V__PERSON, V__SEAT) & s__attribute(V__PERSON, s__Sitting))))))) | Mid-level-ontology.kif 4366-4373 | If X is an instance of seat, then X has the purpose there exists Y such that Y is an instance of human, Y is located at X, and sitting is an attribute of Y |
| ! [V__CHAIR : $i] : ((s__instance(V__CHAIR, s__Chair) => s__hasPurpose(V__CHAIR, ~(( ? [V__PERSON1:$i, V__PERSON2:$i, V__T:$i] : ((s__instance(V__PERSON1, s__Human) & s__instance(V__PERSON2, s__Human) & s__holdsDuring(V__T, (s__attribute(V__PERSON1, s__Sitting) & s__attribute(V__PERSON2, s__Sitting) & s__located(V__PERSON1, V__CHAIR) & s__located(V__PERSON2, V__CHAIR))) & ~(V__PERSON1 = V__PERSON2)))))))) | Mid-level-ontology.kif 4379-4394 | If X is an instance of chair, then All of the following hold: (1) X has the purpose there don't exist Y, Z (2) W such that Y is an instance of human (3) Z is an instance of human (4) sitting is an attribute of Y (5) sitting is an attribute of Z (6) Y is located at X (7) Z is located at X holds during W (8) equal Y (9) Z |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| s__Food = s__FoodForFn(s__Human)
|
Merge.kif 15181-15181 | equal food and food for human |
| ! [V__AREA : $i,V__PERSON : $i] : (s__PopulationFn(V__AREA) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__inhabits(V__PERSON, V__AREA))))) | Mid-level-ontology.kif 34143-34148 | equal the population of X and the number of instances in the class described by Y |
| ! [V__AGE : $i,V__AREA : $i,V__MILITARYAGE : $i,V__PERSON : $i] : (s__AvailableForMilitaryServiceMaleFn(V__AREA) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__attribute(V__PERSON, s__Male) & s__militaryAge(V__AREA, V__MILITARYAGE) & s__age(V__PERSON, V__AGE) & ($greatereq(V__AGE,V__MILITARYAGE)) & s__inhabits(V__PERSON, V__AREA))))) | Military.kif 1136-1145 | equal the available for military service male of X and the number of instances in the class described by Y |
| ! [V__AGE : $i,V__AREA : $i,V__MILITARYAGE : $i,V__PERSON : $i,V__PROCESS : $i] : (s__FitForMilitaryServiceMaleFn(V__AREA) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__attribute(V__PERSON, s__Male) & s__subclass(V__PROCESS, s__MilitaryProcess) & s__fitForMilitaryService(V__PERSON, V__PROCESS) & s__militaryAge(V__AREA, V__MILITARYAGE) & s__age(V__PERSON, V__AGE) & ($greatereq(V__AGE,V__MILITARYAGE)) & s__inhabits(V__PERSON, V__AREA))))) | Military.kif 1159-1170 | equal the fit for military service male of X and the number of instances in the class described by Y |
| ! [V__AGE : $i,V__AGEMINUSONE : $i,V__AREA : $i,V__MILITARYAGE : $i,V__PERSON : $i,V__YEAR : $i] : (s__ReachingMilitaryAgeAnnuallyMaleFn(V__AREA, V__YEAR) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__attribute(V__PERSON, s__Male) & s__militaryAge(V__AREA, V__MILITARYAGE) & V__AGEMINUSONE = $difference(V__AGE ,1) & s__holdsDuring(V__YEAR, (s__age(V__PERSON, V__AGEMINUSONE) | s__age(V__PERSON, V__AGE))) & V__AGE = V__MILITARYAGE & s__inhabits(V__PERSON, V__AREA))))) | Military.kif 1197-1210 | equal the reaching military age annually male of X, Y, and the number of instances in the class described by Z |
| ! [V__AREA : $i,V__BIRTH : $i,V__INFANT : $i,V__WOMAN : $i,V__Y : $int,V__YEAR : $i] : ((s__instance(V__YEAR, s__YearFn(V__Y)) & s__ChildrenBornPerWomanFn(V__AREA, V__YEAR) = s__CardinalityFn(s__KappaFn(V__INFANT, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__agent(V__BIRTH, V__WOMAN) & s__instance(V__WOMAN, s__Human) & s__attribute(V__WOMAN, s__Female) & s__holdsDuring(V__YEAR, s__inhabits(V__WOMAN, V__AREA))))))) | People.kif 490-503 | X is an instance of the year Y and equal the children born per woman of Z, X, and the number of instances in the class described by W |
|
