consequent

(=>     (and         (instance ?GUN RevolverGun)         (part ?CY ?GUN)         (instance ?CY GunCylinder))     (modalAttribute         (exists (?COLL)             (and                 (part ?COLL ?CY)                 (instance ?COLL Collection)                 (memberType ?COLL GunChamber)                 (memberCount ?COLL 6))) Likely))	Mid-level-ontology.kif 2079-2090	If X is an instance of revolver gun, Y is a part of X, and Y is an instance of gun cylinder, then the statement there exists Z such that Z is a part of Y, Z is an instance of collection, gun chamber is a member type of Z, and 6 is a member count of Z has the modal force of likely
(=>     (and         (instance ?FLEET Fleet)         (fleetSize ?AGENT ?NUM)         (possesses ?AGENT ?FLEET))     (memberCount ?FLEET ?NUM))	Mid-level-ontology.kif 3988-3993	If X is an instance of Fleet, Y has a fleet of Z vehicles, and Y possesses X, then Z is a member count of X
(=>     (heartRate ?H ?T ?I)     (exists (?C ?M)         (and             (instance ?C Collection)             (memberType ?C HeartBeat)             (memberCount ?C ?I)             (=>                 (member ?M ?C)                 (and                     (patient ?M ?H)                     (during                         (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 11714-11726	If X beats at a rate of Y beats per Z, then there exist W, V such that W is an instance of collection, heart beat is a member type of W, Y is a member count of W, V is a member of WX is a patient of V, and the time of existence of V takes place during Z
(=>     (breathingRate ?H ?T ?I)     (exists (?C ?M)         (and             (instance ?C Collection)             (memberType ?C Breath)             (memberCount ?C ?I)             (=>                 (member ?M ?C)                 (and                     (patient ?M ?H)                     (during                         (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 11757-11769	If X breathes at a rate of Y breaths per Z, then there exist W, V such that W is an instance of collection, breath is a member type of W, Y is a member count of W, V is a member of WX is a patient of V, and the time of existence of V takes place during Z
(=>     (and         (instance ?CS1 ?CLASS)         (subclass ?CLASS CompoundSubstance)         (not             (exists (?CS2)                 (and                     (instance ?CS2 ?CLASS)                     (part ?CS2 ?CS1))))         (molecularRatio ?ECLASS ?N ?CLASS)         (instance ?G Group)         (member ?E ?G)         (part ?E ?CS1)         (instance ?E ?ECLASS))     (memberCount ?G ?N))	Mid-level-ontology.kif 24103-24117	If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of compound substance (3) there doesn't exist Z such that Z is an instance of Y and Z is a part of X (4) the number of molecules of W in a molecule of Y is V (5) U is an instance of group (6) T is a member of U (7) T is a part of X (8) T is an instance of W, then V is a member count of U
(=>     (memberTypeCount ?GROUP ?TYPE ?NUMBER)     (exists (?SUBGROUP)         (and             (subCollection ?SUBGROUP ?GROUP)             (memberCount ?SUBGROUP ?NUMBER)             (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 25049-25055	If X is member type count Y for Z, then there exists W such that W is a proper sub-collection of X, Z is a member count of W, and Y is a member type of W
(=>     (and         (shortage ?A ?O ?C ?T ?N)         (instance ?N Integer))     (desires ?A         (exists (?G)             (and                 (instance ?G Collection)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 33613-33623	If there is a shortage of X of Y for Z at W during V and X is an instance of integer, then Z desires there exists U such that U is an instance of collection, Y is a member type of U, X is a member count of U, and Z possesses U
(=>     (and         (shortage ?A ?O ?C ?T ?N)         (instance ?N Integer))     (not         (exists (?B ?G)             (and                 (instance ?B Buying)                 (during                     (WhenFn ?B) ?T)                 (objectTransferred ?B ?G)                 (transactionAmount ?B ?C)                 (agent ?B ?A)                 (instance ?G Collection)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 33638-33653	If there is a shortage of X of Y for Z at W during V and X is an instance of integer, then All of the following hold: (1) there don't exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of collection (8) Y is a member type of T (9) X is a member count of T (10) Z possesses T
(=>     (and         (shortage ?A ?O ?C ?T ?N)         (instance ?N Integer))     (desires ?A         (exists (?B ?G)             (and                 (instance ?B Buying)                 (during                     (WhenFn ?B) ?T)                 (objectTransferred ?B ?G)                 (transactionAmount ?B ?C)                 (agent ?B ?A)                 (instance ?G Collection)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 33671-33686	If there is a shortage of X of Y for Z at W during V and X is an instance of integer, then All of the following hold: (1) Z desires there exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of collection (8) Y is a member type of T (9) X is a member count of T (10) Z possesses T
(=>     (and         (instance ?E Eyebrow)         (attribute ?H Healthy)         (part ?E ?H)         (member ?C ?E))     (memberCount ?E 2))	Anatomy.kif 1483-1489	If X is an instance of eyebrow, healthy is an attribute of Y, X is a part of Y, and Z is a member of X, then 2 is a member count of X
(=>     (coilCount ?WC ?N)     (exists (?C ?C2F)         (and             (instance ?C Collection)             (memberCount ?C ?N)             (forall (?M)                 (=>                     (member ?M ?C)                     (and                         (attribute ?M ?C2F)                         (instance ?C2F ClosedTwoDimensionalFigure)                         (part ?M ?WC)                         (not                             (exists (?M2)                                 (and                                     (overlapsSpatially ?M2 ?M)                                     (member ?M2 ?C))))))))))	Cars.kif 3194-3211	If the number of coils in X is Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of collection (3) Y is a member count of Z (4) V V is a member of ZW is an attribute of V (5) W is an instance of closed two dimensional figure (6) V is a part of X (7) there doesn't exist U such that U (8) V overlapsSpatially (9) U is a member of Z
(=>     (and         (numberOfCustomers ?NUM ?RESERVE)         (fulfillingEntity ?AGENT ?RESERVE)         (reservingEntity ?CUST ?RESERVE))     (exists (?GRP)         (and             (potentialCustomer ?GRP ?AGENT)             (instance ?GRP GroupOfPeople)             (member ?CUST ?GRP)             (memberCount ?GRP ?NUM))))	Dining.kif 732-742	If X is for Y customers, Z fulfills X, and W reserves X, then there exists V such that V is a potential customer for Z, V is an instance of group of people, W is a member of V, and Y is a member count of V
(=>     (equal ?SF         (SupplyFn ?ME))     (memberCount ?ME ?SF))	Economy.kif 6757-6759	If equal X and the supply of Y on the market, then X is a member count of Y
(=>     (equal ?NUMDEMANDED         (DemandFn ?ME))     (exists (?DESIREDITEMS ?ITEMCLASS ?CLASS)         (and             (instance ?DESIREDITEMS Collection)             (memberCount ?DESIREDITEMS ?NUMDEMANDED)             (memberType ?ME ?ITEMCLASS)             (=>                 (and                     (instance ?H Human)                     (instance ?ITEM ?ITEMCLASS)                     (=>                         (and                             (instance ?B1 ?CLASS)                             (subclass ?CLASS Buying)                             (patient ?B1 ?ITEM))                         (capability ?CLASS agent ?H))                     (desires ?H                         (exists (?B2 ?ITEM)                             (and                                 (instance ?B2 ?CLASS)                                 (transactionAmount ?B2 ?CM)                                 (patient ?B2 ?ITEM)                                 (member ?ITEM ?ME)                                 (agent ?B2 ?H)))))                 (member ?ITEM ?DESIREDITEMS)))))	Economy.kif 6787-6812	If equal X and demand Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of collection (3) X is a member count of Z (4) W is a member type of Y (5) U is an instance of human (6) T is an instance of W (7) S is an instance of V (8) V is a subclass of buying (9) T is a patient of SU is capable of doing V as a agent (10) U desires there exist R (11) T such that R is an instance of V (12) Q is a transaction amount of R (13) T is a patient of R (14) T is a member of Y (15) U is an agent of RT is a member of Z
(=>     (and         (instance ?C Crystal)         (attribute ?C MonoCrystalline)         (instance ?SUB Substance)         (attribute ?SUB Solid)         (attribute ?SUB PolyCrystalline)         (instance ?S Substance)         (surface ?S ?SUB)         (not             (part ?C ?S)))     (exists (?CLNT ?X ?MBR)         (and             (instance ?CLNT Collection)             (memberCount ?CLNT ?X)             (greaterThanOrEqualTo ?X 4)             (=>                 (member ?MBR ?CLNT)                 (and                     (part ?MBR ?SUB)                     (meetsSpatially ?C ?MBR))))))	Geography.kif 8797-8817	If All of the following hold: (1) X is an instance of crystal (2) mono crystalline is an attribute of X (3) Y is an instance of substance (4) solid is an attribute of Y (5) poly crystalline is an attribute of Y (6) Z is an instance of substance (7) Z is a surface of Y (8) X is not a part of Z, then there exist W, V, U such that W is an instance of collection, V is a member count of W, V is greater than or equal to 4, U is a member of WU is a part of Y, and X meets U
(=>     (and         (maxRoomCapacity ?ROOM ?NUM)         (instance ?X ?ROOM)         (element ?X             (PropertyFn ?AGENT)))     (modalAttribute         (exists (?GRP ?PPL)             (and                 (instance ?GRP GroupOfPeople)                 (memberCount ?GRP ?PPL)                 (lessThanOrEqualTo ?PPL ?NUM)                 (stays ?GRP ?X))) Possibility))	Hotel.kif 479-490	If X can accommodate at most Y people, Z is an instance of X, and Z is an element of belongings of W, then the statement there exist V, U such that V is an instance of group of people, U is a member count of V, U is less than or equal to Y, and V stays at Z has the modal force of possibility
(=>     (numberOfFloors ?BLDG ?NUM)     (exists (?FLOORS)         (and             (forall (?X)                 (=>                     (and                         (instance ?X BuildingLevel)                         (part ?X ?BLDG))                     (member ?X ?FLOORS)))             (memberCount ?FLOORS ?NUM))))	Hotel.kif 709-719	If X has Y floors, then there exists Z such that W W is an instance of building level, W is a part of XW is a member of Z, and Y is a member count of Z
(=>     (capacityByArrangement ?AREA ?PROP ?INT)     (=>         (represents ?AREA ?PROP)         (modalAttribute             (exists (?GRP ?PPL)                 (and                     (instance ?GRP GroupOfPeople)                     (memberCount ?GRP ?PPL)                     (lessThanOrEqualTo ?PPL ?INT)                     (located ?GRP ?AREA))) Possibility)))	Hotel.kif 794-804	Assuming X has capacity for Y according to Z, it follows that: if X expresses Z, then the statement there exist W, V such that W is an instance of group of people, V is a member count of W, V is less than or equal to Y, and W is located at X has the modal force of possibility
(=>     (and         (numberOccupant ?RESERVE ?NUM)         (fulfillingEntity ?HOTEL ?RESERVE))     (exists (?COL)         (and             (instance ?COL GroupOfPeople)             (memberType ?COL Human)             (memberCount ?COL ?NUM)             (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2875-2884	If X may have Y occupants and Z fulfills X, then there exists W such that W is an instance of group of people, human is a member type of W, Y is a member count of W, and W is a potential customer for Z
(=>     (and         (numberAdultOccupant ?RESERVE ?NUM)         (fulfillingEntity ?HOTEL ?RESERVE))     (exists (?COL)         (and             (instance ?COL GroupOfPeople)             (memberType ?COL HumanAdult)             (memberCount ?COL ?NUM)             (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2894-2903	If X may have Y adults and Z fulfills X, then there exists W such that W is an instance of group of people, human adult is a member type of W, Y is a member count of W, and W is a potential customer for Z
(=>     (and         (numberChildOccupant ?RESERVE ?NUM)         (fulfillingEntity ?HOTEL ?RESERVE))     (exists (?COL ?SUBCOL)         (and             (instance ?COL GroupOfPeople)             (subCollection ?SUBCOL ?COL)             (instance ?SUBCOL GroupOfPeople)             (memberType ?SUBCOL HumanChild)             (memberCount ?SUBCOL ?NUM)             (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2914-2925	If X may have Y children and Z fulfills X, then All of the following hold: (1) there exist W (2) V such that W is an instance of group of people (3) V is a proper sub-collection of W (4) V is an instance of group of people (5) human child is a member type of V (6) Y is a member count of V (7) W is a potential customer for Z
(=>     (and         (numberSeniorOccupant ?RESERVE ?NUM)         (fulfillingEntity ?HOTEL ?RESERVE))     (exists (?COL ?AGE)         (and             (instance ?COL GroupOfPeople)             (forall (?X)                 (=>                     (member ?X ?COL)                     (and                         (instance ?X HumanAdult)                         (age ?X                             (MeasureFn ?AGE YearDuration))                         (greaterThanOrEqualTo ?AGE 60))))             (memberCount ?COL ?NUM)             (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2936-2951	If X is for Y seniors and Z fulfills X, then there exist W and V such that W is an instance of group of people and U U is a member of WU is an instance of human adult and the age of U is V year duration(s) and V is greater than or equal to 60 and Y is a member count of W and W is a potential customer for Z
(=>     (and         (instance ?R Rotating)         (patient ?R ?TRACK)         (instance ?TRACK ContinuousTrack))     (exists (?COLL ?MEM ?I ?TREAD ?R2)         (and             (instance ?COLL Collection)             (member ?MEM ?COLL)             (instance ?MEM Wheel)             (memberCount ?MEM ?I)             (greaterThan ?I 2)             (part ?COLL ?TRACK)             (part ?TREAD ?TRACK)             (instance ?TREAD CorpuscularObject)             (shape ?TREAD LongAndThin)             (attribute ?TREAD Pliable)             (located ?COLL ?TREAD)             (instance ?R2 Rotating)             (causes ?R2 ?R))))	Military.kif 193-212	If X is an instance of rotating, Y is a patient of X, and Y is an instance of Continuous track, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of collection (3) W is a member of Z (4) W is an instance of wheel (5) V is a member count of W (6) V is greater than 2 (7) Z is a part of Y (8) U is a part of Y (9) U is an instance of corpuscular object (10) U is long and thin (11) pliable is an attribute of U (12) Z is located at U (13) T is an instance of rotating (14) T causes X
(=>     (instance ?AB ArtilleryBattery)     (exists (?COLL ?I)         (and             (instance ?COLL Collection)             (memberType ?COLL ArtilleryGun)             (memberCount ?COLL ?I)             (greaterThan ?I 2)             (possesses ?AB ?COLL))))	MilitaryPersons.kif 505-513	If X is an instance of artillery battery, then there exist Y, Z such that Y is an instance of collection, artillery gun is a member type of Y, Z is a member count of Y, Z is greater than 2, and X possesses Y
(<=>     (beliefGroupPercentInRegion ?BG ?N ?R ?T)     (holdsDuring ?T         (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)             (and                 (located ?P ?R)                 (member ?P ?BG)                 (member ?P ?G1)                 (memberCount ?G1 ?N1)                 (located ?P2 ?R)                 (member ?P2 ?G2)                 (memberCount ?G2 ?N2)                 (equal                     (DivisionFn ?N 100)                     (DivisionFn ?N1 ?N2))))))	People.kif 1530-1542	All of the following hold: (1) X percent of people in Y believe in Z as of W if (2) only if there exist V, U,, , T,, , S,, , R (3) Q such that T is located at Y (4) T is a member of Z (5) T is a member of V (6) R is a member count of V (7) S is located at Y (8) S is a member of U (9) Q is a member count of U (10) equal X (11) 100 (12) R (13) Q holds during W
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners