Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Animal(animal) |  | Animalia, Insessores, Mantophasmatodea, Mecoptera, abranchial, abranchiate, abranchious, acaudal, acaudate, acrodont, all-devouring, ametabolic, ametabolous, anguine, animal, animal_kingdom, animal_order, animate, animate_being, anthophagous, anthophilous, anurous, arenicolous, armored, armoured, autoecious, axenic, baccivorous, beakless, beast, beast_of_burden, big_game, biped, bipedal, bobtail, bobtailed, body, bone-covered, bottom-feeder, branchiate, broken, broken_in, brute, by-catch, bycatch, captive, carnivore, carpophagous, caudate, caudated... |
| appearance as argument number 1 |
|
|
| s__subclass(s__Animal,s__Organism)
|
Merge.kif 14758-14758 | Animal is a subclass of organism |
| s__partition(s__Animal,s__Vertebrate,s__Invertebrate)
|
Merge.kif 14759-14759 | Animal is exhaustively partitioned into vertebrate and invertebrate |
| s__documentation(s__Animal, s__EnglishLanguage, "An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments_") | Merge.kif 14760-14761 | Animal is exhaustively partitioned into vertebrate and invertebrate |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__grasps,n__1,s__Animal)
|
Merge.kif 11772-11772 | The number 1 argument of grasps is an instance of animal |
| s__domain(s__wears,n__1,s__Animal)
|
Merge.kif 16268-16268 | The number 1 argument of wears is an instance of animal |
| s__domain(s__detainee,n__2,s__Animal)
|
Mid-level-ontology.kif 8101-8101 | The number 2 argument of detainee is an instance of animal |
| s__domainSubclass(s__meatOfAnimal,n__2,s__Animal)
|
Mid-level-ontology.kif 22593-22593 | The number 2 argument of meat of animal is a subclass of animal |
| s__domain(s__birthplace,n__1,s__Animal)
|
Mid-level-ontology.kif 26537-26537 | The number 1 argument of birthplace is an instance of animal |
| s__domain(s__deathplace,n__1,s__Animal)
|
Mid-level-ontology.kif 26596-26596 | The number 1 argument of deathplace is an instance of animal |
| s__domain(s__burialplace,n__1,s__Animal)
|
Biography.kif 209-209 | The number 1 argument of burialplace is an instance of animal |
| antecedent |
|
|
| ! [V__HUMAN : $i,V__PROC : $i] : (((s__instance(V__PROC, s__IntentionalProcess) & s__agent(V__PROC, V__HUMAN) & s__instance(V__HUMAN, s__Animal)) => s__holdsDuring(s__WhenFn(V__PROC), s__attribute(V__HUMAN, s__Awake)))) | Merge.kif 10750-10755 | If X is an instance of intentional process, Y is an agent of X, and Y is an instance of animal, then awake is an attribute of Y holds during the time of existence of X |
| ! [V__OBJ] : ((s__instance(V__OBJ,s__Object) => (s__instance(V__OBJ,s__FoodForFn(s__Animal)) => (? [V__ATTR] : ((s__instance(V__ATTR,s__TasteAttribute) & s__attribute(V__OBJ,V__ATTR)))))) )
|
Merge.kif 17988-17993 | If X is an instance of food for animal, then there exists Y such that Y is an instance of taste attribute and Y is an attribute of X |
| ! [V__ANIMAL] : ((s__instance(V__ANIMAL,s__Animal) => ((? [V__MOTION] : ((s__instance(V__MOTION,s__BodyMotion) & s__agent(V__MOTION,V__ANIMAL)))) | (? [V__ATTR] : ((s__instance(V__ATTR,s__BodyPosition) & s__attribute(V__ANIMAL,V__ATTR)))))) )
|
Merge.kif 18387-18397 | If X is an instance of animal, then there exists Y such that Y is an instance of body motion and X is an agent of Y or there exists Z such that Z is an instance of body position and Z is an attribute of X |
| ! [V__ANIMAL] : ((s__instance(V__ANIMAL,s__Animal) => (? [V__ATTR] : ((s__instance(V__ATTR,s__SexAttribute) & s__attribute(V__ANIMAL,V__ATTR))))) )
|
Merge.kif 18469-18474 | If X is an instance of animal, then there exists Y such that Y is an instance of sex attribute and Y is an attribute of X |
| ! [V__ANI,V__D] : (((s__instance(V__ANI,s__Animal) & s__instance(V__D,s__DiseaseOrSyndrome) & ~(s__attribute(V__ANI,V__D))) => (? [V__P,V__W] : ((s__instance(V__P,s__BiologicalProcess) & s__instance(V__P,s__Removing) & s__origin(V__P,V__ANI) & s__instance(V__W,s__Sewage) & s__experiencer(V__P,V__ANI) & s__objectTransferred(V__P,V__W))))) )
|
Mid-level-ontology.kif 2761-2774 | If X is an instance of animal, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of biological process (3) Z is an instance of removing (4) Z originates at X (5) W is an instance of sewage (6) X experiences Z (7) the object transferred in Z is W |
| ! [V__A] : ((s__instance(V__A,s__Animal) => s__capability(s__Drooling,s__experiencer,V__A)) )
|
Mid-level-ontology.kif 7671-7673 | If X is an instance of animal, then X is capable of doing drooling as a experiencer |
| ! [V__A,V__B,V__AC,V__BC,V__F,V__H] : (((s__instance(V__A,s__Class) & s__subclass(V__A,s__Muscle) & s__instance(V__B,s__Class) & s__subclass(V__B,s__Muscle) & s__instance(V__AC,s__Object) & s__instance(V__BC,s__Object)) => ((s__antagonistMuscles(V__A,V__B) & s__instance(V__F,s__Flexion) & s__instrument(V__F,V__AC) & s__moves(V__F,V__BC) & s__instance(V__AC,V__A) & s__instance(V__BC,V__B) & s__part(V__AC,V__H) & s__part(V__BC,V__H) & s__instance(V__H,s__Animal)) => s__capability(s__Extension,s__instrument,V__BC))) )
|
Mid-level-ontology.kif 12125-12136 | If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of flexion (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing extension as a instrument |
| ! [V__A,V__B,V__AC,V__BC,V__E,V__H] : (((s__instance(V__A,s__Class) & s__subclass(V__A,s__Muscle) & s__instance(V__B,s__Class) & s__subclass(V__B,s__Muscle) & s__instance(V__AC,s__Object) & s__instance(V__BC,s__Object)) => ((s__antagonistMuscles(V__A,V__B) & s__instance(V__E,s__Extension) & s__instrument(V__E,V__AC) & s__moves(V__E,V__BC) & s__instance(V__AC,V__A) & s__instance(V__BC,V__B) & s__part(V__AC,V__H) & s__part(V__BC,V__H) & s__instance(V__H,s__Animal)) => s__capability(s__Flexion,s__instrument,V__BC))) )
|
Mid-level-ontology.kif 12138-12149 | If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of extension (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing flexion as a instrument |
| ! [V__C,V__A] : (((s__instance(V__C,s__Chest) & s__instance(V__A,s__Animal) & s__instance(V__C,V__A) & s__part(V__C,V__A)) => (? [V__T] : ((s__instance(V__T,s__Torso) & s__part(V__C,V__T) & s__part(V__T,V__A))))) )
|
Mid-level-ontology.kif 12709-12719 | If X is an instance of chest, Y is an instance of animal, X is an instance of Y, and X is a part of Y, then there exists Z such that Z is an instance of torso, X is a part of Z, and Z is a part of Y |
| ! [V__S,V__A] : (((s__instance(V__S,s__NervousSystem) & s__part(V__S,V__A) & s__instance(V__A,s__Animal)) => s__instance(V__A,s__Vertebrate)) )
|
Mid-level-ontology.kif 12950-12955 | If X is an instance of nervous system, X is a part of Y, and Y is an instance of animal, then Y is an instance of vertebrate |
| ! [V__A,V__S] : (((s__instance(V__A,s__Animal) & s__instance(V__S,s__AnimalShell) & s__part(V__S,V__A)) => (s__instance(V__A,s__Invertebrate) | s__instance(V__A,s__Reptile))) )
|
Mid-level-ontology.kif 13031-13038 | If X is an instance of animal, Y is an instance of animal shell, and Y is a part of X, then X is an instance of invertebrate or X is an instance of reptile |
| ! [V__ANIMAL,V__SKELETON] : (((s__instance(V__ANIMAL,s__Animal) & s__instance(V__SKELETON,s__Skeleton) & s__part(V__SKELETON,V__ANIMAL)) => s__instance(V__ANIMAL,s__Vertebrate)) )
|
Mid-level-ontology.kif 13155-13160 | If X is an instance of animal, Y is an instance of skeleton, and Y is a part of X, then X is an instance of vertebrate |
| ! [V__ANIMAL,V__SKELETON] : (((s__instance(V__ANIMAL,s__Animal) & s__instance(V__SKELETON,s__Exoskeleton) & s__part(V__SKELETON,V__ANIMAL)) => s__instance(V__ANIMAL,s__Invertebrate)) )
|
Mid-level-ontology.kif 13175-13180 | If X is an instance of animal, Y is an instance of exoskeleton, and Y is a part of X, then X is an instance of invertebrate |
| ! [V__VO,V__H] : (((s__instance(V__VO,s__VitalOrgan) & s__instance(V__H,s__Animal) & ~(s__part(V__VO,V__H))) => ~(s__attribute(V__H,s__Living))) )
|
Mid-level-ontology.kif 13337-13344 | If X is an instance of vital organ, Y is an instance of animal, and X is not a part of Y, then living is not an attribute of Y |
| ! [V__P,V__S,V__BPC,V__SO,V__A] : (((s__instance(V__P,s__Object) & s__instance(V__S,s__AntiSymmetricPositionalAttribute) & s__subclass(V__BPC,s__BodyPart) & s__instance(V__SO,s__AntiSymmetricPositionalAttribute)) => ((s__instance(V__A,s__Animal) & s__instance(V__P,s__BodySideFn(V__S,V__BPC)) & s__contraryAttribute(V__S,V__SO) & s__attribute(V__A,s__Healthy)) => (? [V__PO] : ((s__instance(V__PO,s__Object) & (s__instance(V__PO,s__BodySideFn(V__SO,V__BPC)) & s__orientation(V__P,V__PO,V__S))))))) )
|
Mid-level-ontology.kif 32926-32937 | If X is an instance of animal, Y is an instance of the Z W, Z is the opposite of V, and healthy is an attribute of X, then there exists U such that U is an instance of the V W and Y is Z to U |
| ! [V__PERSON : $i,V__SH : $i] : (((s__instance(V__SH, s__SafetyHarness) & s__instance(V__PERSON, s__Animal) & s__wears(V__PERSON, V__SH)) => s__hasPurpose(V__SH, ( ? [V__PROC:$i, V__INJ:$i, V__I:$i] : ((s__instance(V__PROC, s__Process) & s__instrument(V__PROC, V__SH) & s__patient(V__PROC, V__PERSON) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__F:$i, V__H:$i, V__T:$i] : ((s__instance(V__H, s__Human) & s__experiencer(V__I, V__H) & s__instance(V__F, s__Falling) & s__experiencer(V__F, V__H) & s__causes(V__F, V__I) & (s__holdsDuring(V__T, s__experiencer(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROC, V__PERSON)))))))))) & s__prevents(V__PROC, V__INJ))))))) | Cars.kif 3254-3282 | If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W |
| ! [V__PERSON : $i,V__X : $i] : (((s__instance(V__X, s__Respirator) & s__instance(V__PERSON, s__Animal) & s__wears(V__PERSON, V__X)) => s__hasPurpose(V__X, ( ? [V__INHAL:$i, V__INJ:$i, V__PROTECT:$i, V__I:$i] : ((s__instance(V__PROTECT, s__Process) & s__instrument(V__PROTECT, V__X) & s__prevents(V__PROTECT, V__INJ) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__H:$i] : ((s__instance(V__H, s__Human) & s__patient(V__I, V__H) & s__instance(V__INHAL, s__Inhaling) & s__agent(V__INHAL, V__H) & s__causes(V__I, V__INHAL))))))))))))) | Cars.kif 3395-3416 | If X is an instance of respirator, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W,, , V, U such that V is an instance of process, X is an instrument for V, V prevents the occurrence of W, and W is a subclass of the class described by U |
| ! [V__FISHING,V__TARGET] : (((s__instance(V__FISHING,s__Fishing) & s__patient(V__FISHING,V__TARGET) & s__instance(V__TARGET,s__Animal)) => s__instance(V__TARGET,s__Fish)) )
|
Geography.kif 4144-4149 | If X is an instance of fishing, Y is a patient of X, and Y is an instance of animal, then Y is an instance of fish |
| ! [V__A : $i,V__I : $i] : (((s__instance(V__I, s__Intestine) & s__instance(V__A, s__Animal) & s__part(V__I, V__A)) => s__modalAttribute(( ? [V__E:$i] : ((s__instance(V__E, s__EscherichiaColi) & s__contains(V__I, V__E)))), s__Likely))) | Medicine.kif 5512-5522 | If X is an instance of intestine, Y is an instance of animal, and X is a part of Y, then the statement there exists Z such that Z is an instance of E. coli and X contains Z has the modal force of likely |
| ! [V__A,V__OC,V__H] : (((s__instance(V__A,s__Object) & s__subclass(V__OC,s__BodyPart) & s__instance(V__OC,s__Class)) => ((s__instance(V__A,s__BodyAreaFn(V__OC)) & s__instance(V__H,s__Animal) & s__part(V__A,V__H)) => (? [V__O] : ((s__instance(V__O,s__Object) & (s__instance(V__O,V__OC) & s__orientation(V__A,V__O,s__Near) & s__part(V__O,V__H))))))) )
|
Medicine.kif 6268-6277 | If X is an instance of body area Y, Z is an instance of animal, and X is a part of Z, then there exists W such that W is an instance of Y, X is near to W, and W is a part of Z |
| 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__PROCESS] : ((s__instance(V__PROCESS,s__PsychologicalProcess) => (? [V__ANIMAL] : ((s__instance(V__ANIMAL,s__Animal) & s__experiencer(V__PROCESS,V__ANIMAL))))) )
|
Merge.kif 10624-10629 | If X is an instance of psychological process, then there exists Y such that Y is an instance of animal and Y experiences X |
| ! [V__CARRY] : ((s__instance(V__CARRY,s__Carrying) => (? [V__ANIMAL] : ((s__instance(V__ANIMAL,s__Animal) & s__instrument(V__CARRY,V__ANIMAL))))) )
|
Merge.kif 11647-11652 | If X is an instance of carrying, then there exists Y such that Y is an instance of animal and Y is an instrument for X |
| ! [V__INJECT] : ((s__instance(V__INJECT,s__Injecting) => (? [V__SUBSTANCE,V__ANIMAL] : ((s__patient(V__INJECT,V__SUBSTANCE) & s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance) & s__attribute(V__SUBSTANCE,s__Liquid) & s__destination(V__INJECT,V__ANIMAL) & s__instance(V__ANIMAL,s__Animal))))) )
|
Merge.kif 11714-11722 | If X is an instance of injecting, then there exist Y, Z such that Y is a patient of X, Y is an instance of biologically active substance, liquid is an attribute of Y, X ends up at Z, and Z is an instance of animal |
| ! [V__CONFINE] : ((s__instance(V__CONFINE,s__Confining) => (? [V__AGENT] : ((s__instance(V__AGENT,s__Animal) & s__patient(V__CONFINE,V__AGENT))))) )
|
Merge.kif 12491-12496 | If X is an instance of confining, then there exists Y such that Y is an instance of animal and Y is a patient of X |
| ! [V__ACT,V__ANIMAL] : (((s__instance(V__ACT,s__Surgery) & s__patient(V__ACT,V__ANIMAL)) => (? [V__SUBACT] : ((s__instance(V__SUBACT,s__Cutting) & s__instance(V__ANIMAL,s__Animal) & s__patient(V__SUBACT,V__ANIMAL) & s__subProcess(V__SUBACT,V__ACT))))) )
|
Merge.kif 12545-12554 | If X is an instance of surgery and Y is a patient of X, then there exists Z such that Z is an instance of cutting, Y is an instance of animal, Y is a patient of Z, and Z is a subprocess of X |
| ! [V__H] : ((s__instance(V__H,s__Hunting) => (? [V__T] : ((s__instance(V__T,s__Animal) & s__patient(V__H,V__T))))) )
|
Merge.kif 13193-13198 | If X is an instance of hunting, then there exists Y such that Y is an instance of animal and Y is a patient of X |
| ! [V__AGENT,V__PERCEPT] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((s__instance(V__PERCEPT,s__Perception) & s__agent(V__PERCEPT,V__AGENT)) => s__instance(V__AGENT,s__Animal))) )
|
Merge.kif 13765-13769 | If X is an instance of perception and Y is an agent of X, then Y is an instance of animal |
| ! [V__CARNIVORE,V__EAT,V__PREY] : (((s__instance(V__CARNIVORE,s__Carnivore) & s__instance(V__EAT,s__Eating) & s__agent(V__EAT,V__CARNIVORE) & s__patient(V__EAT,V__PREY)) => s__instance(V__PREY,s__Animal)) )
|
Merge.kif 14915-14921 | If X is an instance of carnivore, Y is an instance of eating, X is an agent of Y, and Z is a patient of Y, then Z is an instance of animal |
| ! [V__SUBSTANCE,V__ANIMAL] : (((s__instance(V__SUBSTANCE,s__AnimalSubstance) & s__instance(V__ANIMAL,s__Organism) & s__part(V__SUBSTANCE,V__ANIMAL)) => s__instance(V__ANIMAL,s__Animal)) )
|
Merge.kif 15128-15133 | If X is an instance of animal substance, Y is an instance of organism, and X is a part of Y, then Y is an instance of animal |
| ! [V__MEAT : $i] : ((s__instance(V__MEAT, s__Meat) => ( ! [V__PART:$i] : ((s__part(V__PART, V__MEAT) => ( ? [V__SUBPART:$i, V__TIME:$i, V__ANIMAL:$i] : ((s__part(V__SUBPART, V__PART) & s__holdsDuring(V__TIME, (s__instance(V__ANIMAL, s__Animal) & s__part(V__SUBPART, V__ANIMAL))))))))))) | Merge.kif 15193-15204 | If X is an instance of meat, then For all Object Y: if Y is a part of X, then there exist Z, W, V such that Z is a part of Y, V is an instance of animal, and Z is a part of V holds during W |
| ! [V__STRUCTURE,V__ANIMAL] : (((s__instance(V__STRUCTURE,s__AnimalAnatomicalStructure) & s__instance(V__ANIMAL,s__Organism) & s__part(V__STRUCTURE,V__ANIMAL)) => s__instance(V__ANIMAL,s__Animal)) )
|
Merge.kif 15296-15301 | If X is an instance of animal anatomical structure, Y is an instance of organism, and X is a part of Y, then Y is an instance of animal |
| ! [V__CLOTHING : $i] : ((s__instance(V__CLOTHING, s__Clothing) => s__hasPurpose(V__CLOTHING, ( ? [V__H:$i, V__P:$i] : ((s__instance(V__H, s__Animal) & s__part(V__P, V__H) & s__covers(V__CLOTHING, V__P))))))) | Merge.kif 16258-16265 | If X is an instance of clothing, then X has the purpose there exist Y, Z such that Y is an instance of animal, Z is a part of Y, and X covers Z |
| ! [V__AD] : ((s__instance(V__AD,s__AnimalDoll) => (? [V__A] : ((s__instance(V__A,s__Animal) & s__represents(V__AD,V__A))))) )
|
Mid-level-ontology.kif 3008-3013 | If X is an instance of toy animal, then there exists Y such that Y is an instance of animal and X expresses Y |
| ! [V__AC : $i] : ((s__instance(V__AC, s__AnimalController) => s__hasPurpose(V__AC, ( ? [V__G:$i, V__A:$i] : ((s__instance(V__G, s__Guiding) & s__instrument(V__G, V__AC) & s__instance(V__A, s__Animal) & s__patient(V__G, V__A))))))) | Mid-level-ontology.kif 3339-3347 | If X is an instance of animal controller, then X has the purpose there exist Y, Z such that Y is an instance of guiding, X is an instrument for Y, Z is an instance of animal, and Z is a patient of Y |
| ! [V__P,V__D] : ((s__instance(V__P,s__Process) => ((s__instance(V__D,s__AnimalPoweredDevice) & s__instrument(V__P,V__D)) => (? [V__A] : ((s__instance(V__A,s__Animal) & s__instrument(V__P,V__A)))))) )
|
Mid-level-ontology.kif 3366-3373 | If X is an instance of animal powered device and X is an instrument for Y, then there exists Z such that Z is an instance of animal and Z is an instrument for Y |
| ! [V__AG] : ((s__instance(V__AG,s__AnimalGuiding) => (? [V__A,V__C,V__H] : ((s__instance(V__H,s__AutonomousAgent) & (s__instance(V__A,s__Animal) & s__agent(V__AG,V__H) & s__instance(V__C,s__Carrying) & s__agent(V__C,V__A) & s__objectTransferred(V__C,V__H) & s__instrument(V__AG,V__A)))))) )
|
Mid-level-ontology.kif 4954-4963 | If X is an instance of animal guiding, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of animal (3) W is an agent of X (4) Z is an instance of carrying (5) Y is an agent of Z (6) the object transferred in Z is W (7) Y is an instrument for X |
| ! [V__D : $i] : ((s__instance(V__D, s__Dish) => s__hasPurpose(V__D, ( ? [V__F:$i, V__E:$i] : ((s__instance(V__E, s__Eating) & s__patient(V__E, V__F) & s__patient(V__E, V__D) & s__instance(V__F, s__FoodForFn(s__Animal)) & s__located(V__F, V__D))))))) | Mid-level-ontology.kif 5044-5053 | If X is an instance of dish, then X has the purpose there exist Y, Z such that Z is an instance of eating, Y is a patient of Z, X is a patient of Z, Y is an instance of food for animal, and Y is located at X |
| ! [V__RESIDENCE : $i] : ((s__instance(V__RESIDENCE, s__AnimalResidence) => s__hasPurpose(V__RESIDENCE, ( ? [V__ANIMAL:$i] : ((s__instance(V__ANIMAL, s__Animal) & ~(s__instance(V__ANIMAL, s__Human)) & s__inhabits(V__ANIMAL, V__RESIDENCE))))))) | Mid-level-ontology.kif 8313-8320 | If X is an instance of animal residence, then X has the purpose there exists Y such that Y is an instance of animal, Y is not an instance of human, and Y lives in X |
| ! [V__MEMBER,V__GROUP] : ((s__instance(V__MEMBER,s__Physical) => ((s__instance(V__GROUP,s__GroupOfAnimals) & s__member(V__MEMBER,V__GROUP)) => (s__instance(V__MEMBER,s__Animal) & ~(s__instance(V__MEMBER,s__Human))))) )
|
Mid-level-ontology.kif 8801-8808 | If X is an instance of group of animals and Y is a member of X, then Y is an instance of animal and Y is not an instance of human |
| ! [V__STORE] : ((s__instance(V__STORE,s__GroceryStore) => (? [V__SELL,V__FOOD] : ((s__instance(V__SELL,s__Selling) & s__agent(V__SELL,V__STORE) & s__patient(V__SELL,V__FOOD) & s__instance(V__FOOD,s__FoodForFn(s__Animal)))))) )
|
Mid-level-ontology.kif 9139-9146 | If X is an instance of grocery store, then there exist Y, Z such that Y is an instance of selling, X is an agent of Y, Z is a patient of Y, and Z is an instance of food for animal |
| ! [V__B,V__A] : (((s__instance(V__B,s__Bathing) & s__patient(V__B,V__A)) => s__instance(V__A,s__Animal)) )
|
Mid-level-ontology.kif 10229-10233 | If X is an instance of bathing and Y is a patient of X, then Y is an instance of animal |
| ! [V__P : $i] : ((s__instance(V__P, s__Pill) => s__hasPurpose(V__P, ( ? [V__A:$i, V__I:$i] : ((s__instance(V__A, s__Animal) & s__instance(V__I, s__Ingesting) & s__experiencer(V__I, V__A) & s__objectTransferred(V__I, V__P))))))) | Mid-level-ontology.kif 10760-10768 | If X is an instance of pill, then X has the purpose there exist Y, Z such that Y is an instance of animal, Z is an instance of ingesting, Y experiences Z, and the object transferred in Z is X |
| ! [V__SPINE : $i] : ((s__instance(V__SPINE, s__PlantSpinoseStructure) => s__modalAttribute(( ? [V__I:$i, V__P:$i, V__A:$i] : ((s__instance(V__I, s__Inserting) & s__instrument(V__I, V__SPINE) & s__instance(V__A, s__Animal) & s__patient(V__I, V__A) & s__causes(V__I, V__P) & s__instance(V__P, s__Pain) & s__experiencer(V__P, V__A)))), s__Possibility))) | Mid-level-ontology.kif 11078-11089 | If X is an instance of plant spinose structure, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of inserting (3) X is an instrument for Y (4) W is an instance of animal (5) W is a patient of Y (6) Y causes Z (7) Z is an instance of pain (8) W experiences Z has the modal force of possibility |
| ! [V__VERT] : (((s__instance(V__VERT,s__Vertebrate) => (? [V__SPINE] : ((s__instance(V__VERT,s__Animal) & s__component(V__SPINE,V__VERT) & s__instance(V__SPINE,s__SpinalColumn))))) & ((? [V__SPINE] : ((s__instance(V__VERT,s__Animal) & s__component(V__SPINE,V__VERT) & s__instance(V__SPINE,s__SpinalColumn)))) => s__instance(V__VERT,s__Vertebrate))) )
|
Mid-level-ontology.kif 12422-12428 | X is an instance of vertebrate if, only if there exists Y such that X is an instance of animal, Y is a component of X, and Y is an instance of spinal column |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
|