consequent

(<=>     (beliefGroupPercentInRegion ?BG ?N ?R)     (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 1529-1540	beliefGroupPercentInRegion a BeliefGroup, a real number and a geographic area if and only if there exist a collection, another collection,, , a physical,, , the physical2,, , the real number1 and the real number2 such that the physical is located at the geographic area and the physical is a member of the BeliefGroup and the physical is a member of the collection and memberCount the collection and the real number1 and the physical2 is located at the geographic area and the physical2 is a member of the other collection and memberCount the other collection and the real number2 and equal the real number and 100 and the real number1 and the real number2
(<=>     (ethnicityPercentInRegion ?BG ?N ?R)     (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 1548-1559	ethnicityPercentInRegion an ethnic group, a real number and a geographic area if and only if there exist a collection, another collection,, , a physical,, , the physical2,, , the real number1 and the real number2 such that the physical is located at the geographic area and the physical is a member of the ethnic group and the physical is a member of the collection and memberCount the collection and the real number1 and the physical2 is located at the geographic area and the physical2 is a member of the other collection and memberCount the other collection and the real number2 and equal the real number and 100 and the real number1 and the real number2
(<=>     (languagePercentInRegion ?L ?N ?R)     (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)         (and             (located ?P ?R)             (member ?P ?G1)             (speaksLanguage ?P ?L)             (memberCount ?G1 ?N1)             (located ?P2 ?R)             (member ?P2 ?G2)             (memberCount ?G2 ?N2)             (equal                 (DivisionFn ?N 100)                 (DivisionFn ?N1 ?N2)))))	People.kif 1567-1578	languagePercentInRegion a language, a real number and a geographic area if and only if there exist a collection, another collection,, , a sentient agent,, , the sentient agent2,, , the real number1 and the real number2 such that the sentient agent is located at the geographic area and the sentient agent is a member of the collection and speaksLanguage the sentient agent and the language and memberCount the collection and the real number1 and the sentient agent2 is located at the geographic area and the sentient agent2 is a member of the other collection and memberCount the other collection and the real number2 and equal the real number and 100 and the real number1 and the real number2
(=>     (and         (chromosomeNumber ?C ?I)         (part ?N ?C)         (instance ?N CellNucleus)         (instance ?COLL Collection)         (located ?COLL ?N)         (memberType ?COLL Chromosome))     (memberCount ?COLL ?I))	VirusProteinAndCellPart.kif 709-717	If chromosomeNumber an EukaryoticCell and an integer and an object is a part of the EukaryoticCell and the object is an instance of CellNucleus and the EukaryoticCellOLL is an instance of collection and the EukaryoticCellOLL is located at the object and memberType the EukaryoticCellOLL and Chromosome, then memberCount the EukaryoticCellOLL and the integer
(=>     (and         (haploidNumber ?CELL ?I)         (instance ?CELL Gamete)         (part ?N ?CELL)         (instance ?N CellNucleus)         (instance ?COLL Collection)         (located ?COLL ?N)         (memberType ?COLL Chromosome))     (memberCount ?COLL ?I))	VirusProteinAndCellPart.kif 800-809	If haploidNumber a Gamete and an integer and the Gamete is an instance of Gamete and an object is a part of the Gamete and the object is an instance of CellNucleus and a collection is an instance of collection and the collection is located at the object and memberType the collection and Chromosome, then memberCount the collection and the integer
(=>     (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 8791-8811	If an object is an instance of Crystal and MonoCrystalline is an attribute of the object and a self connected object is an instance of substance and Solid is an attribute of the self connected object and PolyCrystalline is an attribute of the self connected object and another self connected object is an instance of substance and the other self connected object is a surface of the self connected object and the object is not a part of the other self connected object, then there exist the objectLNT, an integer and another object such that the objectLNT is an instance of collection and memberCount the objectLNT and the integer and the integer is greater than or equal to 4 and if the other object is a member of the objectLNT, then the other object is a part of the self connected object and the object meets the other object
(=>     (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 23347-23361	If an object is an instance of a kind of compound substance and a kind of compound substance is a subclass of compound substance and there doesn't exist another object such that the other object is an instance of the kind of compound substance and the other object is a part of the object and molecularRatio a kind of elemental substance, an integer and the kind of compound substance and a collection is an instance of group and a third object is a member of the collection and the third object is a part of the object and the third object is an instance of a kind of elemental substance, then memberCount the collection and the integer
(=>     (and         (instance ?E Eyebrow)         (attribute ?H Healthy)         (part ?E ?H)         (member ?C ?E))     (memberCount ?E 2))	Anatomy.kif 1483-1489	If a collection is an instance of Eyebrow and Healthy is an attribute of an object and the collection is a part of the object and a physical is a member of the collection, then memberCount the collection and 2
(=>     (and         (instance ?FLEET Fleet)         (fleetSize ?AGENT ?NUM)         (possesses ?AGENT ?FLEET))     (memberCount ?FLEET ?NUM))	Mid-level-ontology.kif 3971-3976	If a collection is an instance of Fleet and fleetSize an agent and an integer and the agent possesses the collection, then memberCount the collection and the integer
(=>     (and         (instance ?G Gear)         (part ?T ?G)         (instance ?T GearTooth)         (gearToothCount ?G ?I))     (exists (?C)         (and             (instance ?C Collection)             (member ?T ?C)             (memberCount ?C ?I))))	engineering.kif 839-849	If a Gear is an instance of Gear and an object is a part of the Gear and the object is an instance of GearTooth and gearToothCount the Gear and an integer, then there exists a collection such that the collection is an instance of collection and the object is a member of the collection and memberCount the collection and the integer
(=>     (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 2061-2072	If an object is an instance of RevolverGun and another object is a part of the object and the other object is an instance of GunCylinder, then the statement there exists an entity such that the entity is a part of the other object and the entity is an instance of collection and memberType the entity and GunChamber and memberCount the entity and 6 has the modal force of Likely
(=>     (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 a process is an instance of Rotating and an object is a patient of the process and the object is an instance of ContinuousTrack, then there exist a collection, another collection,, , an integer,, , another object and the process2 such that the collection is an instance of collection and the other collection is a member of the collection and the other collection is an instance of Wheel and memberCount the other collection and the integer and the integer is greater than 2 and the collection is a part of the object and the other object is a part of the object and the other object is an instance of corpuscular object and shape the other object and LongAndThin and Pliable is an attribute of the other object and the collection is located at the other object and the process2 is an instance of Rotating and the process2 causes the process
(=>     (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 maxRoomCapacity a kind of stationary artifact and an integer and an entity is an instance of a kind of stationary artifact and the entity is an element of belongings of an agent, then the statement there exist another entity and a third entity such that the other entity is an instance of GroupOfPeople and memberCount the other entity and the third entity and the third entity is less than or equal to the integer and stays the other entity and the entity has the modal force of Possibility
(=>     (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 numberAdultOccupant a HotelReservation and an integer and fulfillingEntity an agent and the HotelReservation, then there exists a collection such that the collection is an instance of GroupOfPeople and memberType the collection and HumanAdult and memberCount the collection and the integer and potentialCustomer the collection and the agent
(=>     (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 numberChildOccupant a HotelReservation and an integer and fulfillingEntity an agent and the HotelReservation, then there exist a collection and another collection such that the collection is an instance of GroupOfPeople and the other collection is a proper sub-collection of the collection and the other collection is an instance of GroupOfPeople and memberType the other collection and HumanChild and memberCount the other collection and the integer and potentialCustomer the collection and the agent
(=>     (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 numberOccupant a HotelReservation and an integer and fulfillingEntity an agent and the HotelReservation, then there exists a collection such that the collection is an instance of GroupOfPeople and memberType the collection and human and memberCount the collection and the integer and potentialCustomer the collection and the agent
(=>     (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 numberOfCustomers a positive integer and a Reservation and fulfillingEntity an agent and the Reservation and reservingEntity another agent and the Reservation, then there exists a collection such that potentialCustomer the collection and the agent and the collection is an instance of GroupOfPeople and the other agent is a member of the collection and memberCount the collection and the positive integer
(=>     (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 numberSeniorOccupant a HotelReservation and an integer and fulfillingEntity an agent and the HotelReservation, then there exist a collection and a real number such that the collection is an instance of GroupOfPeople and for all a physical if the physical is a member of the collection, then the physical is an instance of HumanAdult and the age of the physical is the real number YearDuration(s) and the real number is greater than or equal to 60 and memberCount the collection and the integer and potentialCustomer the collection and the agent
(=>     (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 32878-32893	If shortage a cognitive agent, a kind of object, a currency measure, a time interval and a quantity and the quantity is an instance of integer, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and objectTransferred the entity and the other entity and transactionAmount the entity and the currency measure and the cognitive agent is an agent of the entity and the other entity is an instance of collection and memberType the other entity and a kind of object and memberCount the other entity and the quantity and the cognitive agent possesses the other entity
(=>     (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 32820-32830	If shortage a cognitive agent, a kind of object, a currency measure, a time interval and a quantity and the quantity is an instance of integer, then the cognitive agent desires there exists an entity such that the entity is an instance of collection and memberType the entity and a kind of object and memberCount the entity and the quantity and the cognitive agent possesses the entity
(=>     (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 32845-32860	If shortage an agent, a kind of object, a currency measure, a time interval and an integer and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and objectTransferred the transfer and the collection and transactionAmount the transfer and the currency measure and the agent is an agent of the transfer and the collection is an instance of collection and memberType the collection and a kind of object and memberCount the collection and the integer and the agent possesses the collection
(=>     (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 11711-11723	If breathingRate a Lung, a time interval and an integer, then there exist a collection and a process such that the collection is an instance of collection and memberType the collection and Breath and memberCount the collection and the integer and if the process is a member of the collection, then the Lung is a patient of the process and the time of existence of the process takes place during the time interval
(=>     (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	If capacityByArrangement a region, a proposition and an integer, then if the region expresses the proposition, then the statement there exist an entity and another entity such that the entity is an instance of GroupOfPeople and memberCount the entity and the other entity and the other entity is less than or equal to the integer and the entity is located at the region has the modal force of Possibility
(=>     (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 3177-3194	If coilCount a WireCoil and an integer, then there exist a collection and the collection2F such that the collection is an instance of collection and memberCount the collection and the integer and for all an object if the object is a member of the collection, then the collection2F is an attribute of the object and the collection2F is an instance of ClosedTwoDimensionalFigure and the object is a part of the WireCoil and there doesn't exist the object2 such that overlapsSpatially the object2 and the object and the object2 is a member of the collection
(=>     (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 an integer and DemandFn a MarketEconomics, then there exist a collection, a class and a kind of process such that the collection is an instance of collection and memberCount the collection and the integer and memberType the MarketEconomics and the class and if a cognitive agent is an instance of human and a physical is an instance of the class and if another process is an instance of a kind of process and the kind of process is a subclass of buying and the physical is a patient of the other process, then the cognitive agent is capable of doing the kind of process as a agent and the cognitive agent desires there exist an entity and the physical such that the entity is an instance of the kind of process and transactionAmount the entity and another entity and the physical is a patient of the entity and the physical is a member of the MarketEconomics and the cognitive agent is an agent of the entity, then the physical is a member of the collection
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