or - Sigma Knowledge base Browser

antecedent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 26366-26373	A PostalPlace is located at a geopolitical area and the PostalPlace is an instance of PostalPlace and the geopolitical area is an instance of nation or the geopolitical area is an instance of DependencyOrSpecialSovereigntyArea if and only if postCountry the PostalPlace and the geopolitical area
(=> (and (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (or (equal ?ATTR Obligation) (equal ?ATTR Promise))) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) Likely))	Mid-level-ontology.kif 15440-15450	If agreementClause a proposition, a deontic attribute, an Agreement and a cognitive agent and equal the deontic attribute and Obligation or equal the deontic attribute and Promise, then the statement there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity has the modal force of Likely
(=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death)))))	Transportation.kif 4199-4223	If ToxicandInfectiousSubstance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is Near to the agent and the process is an instance of Inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
(=> (and (attribute ?X WheelchairAccessible) (or (instance ?X Building) (instance ?X Room))) (modalAttribute (exists (?MOTION ?WHEELCHAIR) (and (instance ?MOTION Motion) (instrument ?MOTION ?WHEELCHAIR) (instance ?WHEELCHAIR Wheelchair) (eventLocated ?MOTION ?X))) Possibility))	Mid-level-ontology.kif 28047-28059	If WheelchairAccessible is an attribute of an object and the object is an instance of building or the object is an instance of room, then the statement there exist an entity and another entity such that the entity is an instance of motion and the other entity is an instrument for the entity and the other entity is an instance of Wheelchair and event located the entity and the object has the modal force of Possibility
(=> (and (attribute ?X Writer) (instance ?TEXT ?CLASS) (or (subclass ?CLASS Text) (subclass ?CLASS Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?CLASS))	Biography.kif 738-748	If Writer is an attribute of an agent and an entity is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of text or the kind of content bearing object is a subclass of Document and a process is an instance of writing and the agent is an agent of the process and the entity is a result of the process, then the agent is the author of the kind of content bearing object
(=> (and (breathingRate ?H ?T ?R) (instance ?T Minute) (not (exists (?R) (and (instance ?R RecreationOrExercise) (agent ?R ?H) (during ?T (WhenFn ?R))))) (holdsDuring ?T (attribute ?H HumanAdult)) (or (greaterThan ?R 16) (lessThan ?R 12))) (holdsDuring ?T (not (attribute ?H Healthy))))	Medicine.kif 355-373	If breathingRate an agent, a time interval and an integer and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and HumanAdult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12, then Healthy is not an attribute of the agent holds during the time interval
(=> (and (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)))))	Economy.kif 2347-2356	If electricityConsumptionInPeriod a geopolitical area, a physical quantity and a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityConsumption the geopolitical area and the physical quantity holds during the time position
(=> (and (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)))))	Economy.kif 2391-2400	If electricityExportInPeriod a geopolitical area, a physical quantity and a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityExport the geopolitical area and the physical quantity holds during the time position
(=> (and (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)))))	Economy.kif 2437-2446	If electricityImportInPeriod a geopolitical area, a physical quantity and a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityImport the geopolitical area and the physical quantity holds during the time position
(=> (and (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)))))	Economy.kif 2215-2224	If electricityProductionInPeriod a geopolitical area, a physical quantity and a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityProduction the geopolitical area and the physical quantity holds during the time position
(=> (and (equal (PathWeightFn ?PATH) ?SUM) (graphPart ?ARC1 ?PATH) (graphPart ?ARC2 ?PATH) (arcWeight ?ARC1 ?NUMBER1) (arcWeight ?ARC2 ?NUMBER2) (forall (?ARC3) (=> (graphPart ?ARC3 ?PATH) (or (equal ?ARC3 ?ARC1) (equal ?ARC3 ?ARC2))))) (equal (PathWeightFn ?PATH) (AdditionFn ?NUMBER1 ?NUMBER2)))	Merge.kif 6043-6056	If equal the value of a graph path and a real number and a graph arc is a part of the graph path and another graph arc is a part of the graph path and the value of the graph arc is another real number and the value of the other graph arc is a third real number and for all a graph element if the graph element is a part of the graph path, then equal the graph element and the graph arc or equal the graph element and the other graph arc , then equal the value of the graph path and (the other real number and the third real number)
(=> (and (equal (PathWeightFn ?PATH) ?SUM) (subGraph ?SUBPATH ?PATH) (graphPart ?ARC1 ?PATH) (arcWeight ?ARC1 ?NUMBER1) (forall (?ARC2) (=> (graphPart ?ARC2 ?PATH) (or (graphPart ?ARC2 ?SUBPATH) (equal ?ARC2 ?ARC1))))) (equal ?SUM (AdditionFn (PathWeightFn ?SUBPATH) ?NUMBER1)))	Merge.kif 6029-6041	If equal the value of a graph path and an integer and another graph path is a subgraph of the graph path and a graph arc is a part of the graph path and the value of the graph arc is a real number and for all a graph element if the graph element is a part of the graph path, then the graph element is a part of the other graph path or equal the graph element and the graph arc , then equal the integer and (the value of the other graph path and the real number)
(=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P))))	Economy.kif 4865-4876	If equal an object and OrganicObjectFn another kind of object and the object is a subclass of OilFromPlant and another kind of object is a subclass of Seed or the other kind of object is a subclass of Fruit, then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and initialPart the other kind of object and the third kind of object
(=> (and (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)))))	Economy.kif 2512-2521	If exportTotalInPeriod a geopolitical area, a currency measure and a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualExportTotal the geopolitical area and the currency measure holds during the time position
(=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 847-868	If freeFunctionRoomAmenity a kind of HotelFunctionRoom and a kind of physical and an entity is an instance of a kind of HotelFunctionRoom and the entity is an element of belongings of an agent and a process is an instance of Renting and the entity is a patient of the process and the process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and customer the cognitive agent and the agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then price the object, 0 UnitedStatesDollar(s) and the agent
(=> (and (freePropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 548-563	If freePropertyAmenity an agent and a kind of physical and a process is an instance of a kind of physical and customer a cognitive agent and the agent and the process is an instance of process and the cognitive agent is an agent of the process or the cognitive agent experiences the process or the agent possesses the process and the process is an instance of object and the cognitive agent uses the process, then price the process, 0 UnitedStatesDollar(s) and the agent
(=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST))	Hotel.kif 346-361	If freeRoomAmenity a kind of HotelUnit and a kind of physical and a kind of physical is a subclass of object and a TemporaryResidence is an instance of a kind of HotelUnit and stays a human and the TemporaryResidence and the TemporaryResidence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the TemporaryResidence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then price the object, 0 UnitedStatesDollar(s) and the human
(=> (and (freeRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (price ?P (MeasureFn 0.0 UnitedStatesDollar) ?GUEST))	Hotel.kif 364-378	If freeRoomAmenity a kind of HotelUnit and a kind of physical and a kind of physical is a subclass of process and a TemporaryResidence is an instance of a kind of HotelUnit and stays a human and the TemporaryResidence and the TemporaryResidence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the TemporaryResidence, then price the process, 0.0 UnitedStatesDollar(s) and the human
(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?LA ?O) (meetsSpatially ?LL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?RA ?O)) (not (meetsSpatially ?RL ?O)))))	Anatomy.kif 1871-1893	If LateralRecumbant is an attribute of an object and the object is On to another object holds during a time position and a third object is an instance of LeftArm and the third object is a part of the object and a fourth object is an instance of RightArm and the fourth object is a part of the object and a fifth object is an instance of LeftLeg and the fifth object is a part of the object and a sixth object is an instance of RightLeg and the sixth object is a part of the object and the third object meets the other object or the fifth object meets the other object, then the fourth object doesn't meet the other object and the sixth object doesn't meet the other object holds during the time position
(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?RA ?O) (meetsSpatially ?RL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?LA ?O)) (not (meetsSpatially ?LL ?O)))))	Anatomy.kif 1895-1917	If LateralRecumbant is an attribute of an object and the object is On to another object holds during a time position and a third object is an instance of LeftArm and the third object is a part of the object and a fourth object is an instance of RightArm and the fourth object is a part of the object and a fifth object is an instance of LeftLeg and the fifth object is a part of the object and a sixth object is an instance of RightLeg and the sixth object is a part of the object and the fourth object meets the other object or the sixth object meets the other object, then the third object doesn't meet the other object and the fifth object doesn't meet the other object holds during the time position
(=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2358-2365	If annualElectricityConsumption a geopolitical area and a physical quantity holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then electricityConsumptionInPeriod the geopolitical area, the physical quantity and the kind of time interval
(=> (and (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2402-2409	If annualElectricityExport a geopolitical area and a physical quantity holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then electricityExportInPeriod the geopolitical area, the physical quantity and the kind of time interval
(=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2448-2455	If annualElectricityImport a geopolitical area and a physical quantity holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then electricityImportInPeriod the geopolitical area, the physical quantity and the kind of time interval
(=> (and (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2226-2233	If annualElectricityProduction a geopolitical area and a physical quantity holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then electricityProductionInPeriod the geopolitical area, the physical quantity and the kind of time interval
(=> (and (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2523-2530	If annualExportTotal a geopolitical area and a currency measure holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then exportTotalInPeriod the geopolitical area, the currency measure and the kind of time interval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (and (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber)) (or (and (instance ?NUMBER1 NonnegativeRealNumber) (equal ?NUMBER1 ?NUMBER2)) (and (instance ?NUMBER1 NegativeRealNumber) (equal ?NUMBER2 (SubtractionFn 0.0 ?NUMBER1)))))	Merge.kif 4821-4832	equal the absolute value of a real number and an integer and the real number is an instance of real number and the integer is an instance of real number if and only if the real number is an instance of nonnegative real number and equal the real number and the integer or the real number is an instance of negative real number and equal the integer and (0.0 and the real number)
(<=> (attribute ?Q Queen) (or (attribute ?Q QueenRegnant) (attribute ?Q QueenConsort)))	Government.kif 1362-1366	Queen is an attribute of an object if and only if QueenRegnant is an attribute of the object or QueenConsort is an attribute of the object
(<=> (holdsDuring ?TIME (attribute ?AGENT LegalAgent)) (holdsDuring ?TIME (or (capability LegalAction agent ?AGENT) (capability LegalAction patient ?AGENT))))	Merge.kif 1636-1642	LegalAgent is an attribute of an entity holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
(<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON))))	Mid-level-ontology.kif 13007-13014	An object is an instance of bone if and only if there exists another object such that the other object is an instance of Skeleton or the other object is an instance of Exoskeleton and the object is a part of the other object
(<=> (instance ?CONTINENT Continent) (or (equal Africa ?CONTINENT) (equal NorthAmerica ?CONTINENT) (equal SouthAmerica ?CONTINENT) (equal Antarctica ?CONTINENT) (equal Europe ?CONTINENT) (equal Asia ?CONTINENT) (equal Oceania ?CONTINENT)))	Geography.kif 4972-4981	An entity is an instance of continent if and only if equal Africa and the entity or equal NorthAmerica and the entity or equal SouthAmerica and the entity or equal Antarctica and the entity or equal Europe and the entity or equal Asia and the entity or equal Oceania and the entity
(<=> (instance ?HEMISPHERE Hemisphere) (or (equal ?HEMISPHERE NorthernHemisphere) (equal ?HEMISPHERE SouthernHemisphere) (equal ?HEMISPHERE EasternHemisphere) (equal ?HEMISPHERE WesternHemisphere)))	Geography.kif 4956-4962	An entity is an instance of Hemisphere if and only if equal the entity and NorthernHemisphere or equal the entity and SouthernHemisphere or equal the entity and EasternHemisphere or equal the entity and WesternHemisphere
(<=> (instance ?ORG GovernmentOrganization) (or (instance ?ORG Government) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)))))	Government.kif 108-115	An organization is an instance of GovernmentOrganization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization
(<=> (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2)))	Merge.kif 1902-1906	A real number is less than or equal to another real number if and only if equal the real number and the other real number or the real number is less than the other real number
(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2)))	Merge.kif 17300-17304	An object is Adjacent to another object if and only if the object is Near to the other object or the object is connected to the other object
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above)))	Merge.kif 17288-17292	An object is Below to another object if and only if the other object is On to the object or the other object is Above to the object
(=> (agreementRevisionDate ?AGR ?DATE ?CHANGE) (exists (?TIME) (and (instance ?TIME ?DATE) (or (and (holdsDuring (ImmediatePastFn ?TIME) (not (subProposition ?CHANGE ?AGR))) (holdsDuring (ImmediateFutureFn ?TIME) (subProposition ?CHANGE ?AGR))) (and (holdsDuring (ImmediatePastFn ?TIME) (subProposition ?CHANGE ?AGR)) (holdsDuring (ImmediateFutureFn ?TIME) (not (subProposition ?CHANGE ?AGR))))))))	Government.kif 701-716	If agreementRevisionDate a proposition, a kind of time position and another proposition, then there exists another time position such that the other time position is an instance of a kind of time position and the other proposition is not a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is a sub-proposition of the proposition holds during immediately after the other time position or the other proposition is a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is not a sub-proposition of the proposition holds during immediately after the other time position
(=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation (KappaFn ?Payment (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))) ?Agent))	FinancialOntology.kif 657-669	If amountDue a FinancialAccount, a currency measure and a time position and accountHolder the FinancialAccount and a cognitive agent, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (and (applicableRelation ?O ?R) (instance ?O ?OC) (domain ?R 1 ?DC)) (or (equal ?OC ?DC) (subclass ?OC ?DC)))	Mid-level-ontology.kif 33318-33325	If applicableRelation an object and a relation and the object is an instance of the objectC and the number 1 argument of the relation is an instance of another class, then equal the objectC and the other class or the objectC is a subclass of the other class
(=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death)))))	Transportation.kif 4199-4223	If ToxicandInfectiousSubstance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is Near to the agent and the process is an instance of Inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
(=> (and (attribute ?OFFICER ?COR) (instance ?COR CommissionedOfficerRank)) (exists (?MANAGE ?PATIENT) (and (instance ?MANAGE Managing) (agent ?MANAGE ?OFFICER) (patient ?MANAGE ?PATIENT) (or (instance ?PATIENT MilitaryOrganization) (attribute ?PATIENT Soldier)))))	Military.kif 364-375	If an attribute is an attribute of an agent and the attribute is an instance of CommissionedOfficerRank, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of MilitaryOrganization or Soldier is an attribute of the object
(=> (and (attribute ?Order FOKOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period)))))	FinancialOntology.kif 2898-2914	If FOKOrder is an attribute of an Agreement and agreementPeriod the Agreement and a time interval, then there exist a process and another time interval such that the process is an instance of FillingAnOrder and the Agreement is a patient of the process and equal the time of existence of the process and the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of CancellingAnOrder and the Agreement is a patient of the other process and equal the time of existence of the other process and the third time interval and the third time interval starts the time interval
(=> (and (attribute ?Order GTCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Execute ?Time) (and (instance ?Execute FillingAnOrder) (patient ?Execute ?Order) (equal (WhenFn ?Execute) ?Time) (overlapsTemporally ?Time ?Period))) (exists (?Cancel ?End) (and (instance ?Cancel CancellingAnOrder) (patient ?Cancel ?Order) (equal (WhenFn ?Cancel) ?End) (finishes ?End ?Period)))))	FinancialOntology.kif 2934-2950	If GTCOrder is an attribute of an Agreement and agreementPeriod the Agreement and a time interval, then there exist a process and another time interval such that the process is an instance of FillingAnOrder and the Agreement is a patient of the process and equal the time of existence of the process and the other time interval and the time interval overlaps the other time interval or there exist another process and a third time interval such that the other process is an instance of CancellingAnOrder and the Agreement is a patient of the other process and equal the time of existence of the other process and the third time interval and the third time interval finishes the time interval
(=> (and (attribute ?Order IOCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period)))))	FinancialOntology.kif 2871-2887	If IOCOrder is an attribute of an Agreement and agreementPeriod the Agreement and a time interval, then there exist a process and another time interval such that the process is an instance of FillingAnOrder and the Agreement is a patient of the process and equal the time of existence of the process and the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of CancellingAnOrder and the Agreement is a patient of the other process and equal the time of existence of the other process and the third time interval and the third time interval starts the time interval
(=> (and (attribute ?X BlueforceControlled) (instance ?X Object)) (exists (?A) (and (instance ?A GovernmentOrganization) (possesses ?A ?X) (or (subOrganization ?A (GovernmentFn UnitedStates)) (allied ?A (GovernmentFn UnitedStates))))))	MilitaryProcesses.kif 2808-2820	If BlueforceControlled is an attribute of an object and the object is an instance of object, then there exists an organization such that the organization is an instance of GovernmentOrganization and the organization possesses the object and the organization is a part of the organization the government of UnitedStates or allied the organization and the government of UnitedStates
(=> (and (attribute ?X Multilingual) (instance ?SPEAK Speaking) (agent ?SPEAK ?X)) (modalAttribute (exists (?LANG1 ?LANG2) (and (instance ?LANG1 SpokenHumanLanguage) (instance ?LANG2 SpokenHumanLanguage) (not (equal ?LANG1 ?LANG2)) (or (patient ?SPEAK ?LANG1) (patient ?SPEAK ?LANG2)))) Possibility))	Mid-level-ontology.kif 27637-27650	If Multilingual is an attribute of an agent and a process is an instance of Speaking and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of SpokenHumanLanguage and the other entity is an instance of SpokenHumanLanguage and equal the entity and the other entity and the entity is a patient of the process or the other entity is a patient of the process has the modal force of Possibility
(=> (and (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Gas)) (exists (?BOIL) (and (overlapsTemporally (WhenFn ?BOIL) ?TIME) (instance ?BOIL Boiling) (patient ?BOIL ?SUBSTANCE)))))	Merge.kif 14016-14029	If boilingPoint a kind of pure substance and a real number an unit of measure(s) and an entity is an instance of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the other real number is greater than or equal to the real number, then Gas is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the entity is a patient of the process
(=> (and (customer ?CUST ?AGENT) (employs ?AGENT ?X) (attribute ?AGENT TravelerAccommodation) (attribute ?X Porter) (possesses ?CUST ?LUGGAGE) (instance ?LUGGAGE TravelContainer)) (exists (?ROOM ?CARRY) (and (instance ?ROOM HotelUnit) (instance ?CARRY Carrying) (agent ?CARRY ?X) (or (destination ?CARRY ?ROOM) (origin ?CARRY ?ROOM)))))	Hotel.kif 2403-2418	If customer a cognitive agent and an agent and the agent employs another cognitive agent and TravelerAccommodation is an attribute of the agent and Porter is an attribute of the other cognitive agent and the cognitive agent possesses an object and the object is an instance of TravelContainer, then there exist another object and a process such that the other object is an instance of HotelUnit and the process is an instance of Carrying and the other cognitive agent is an agent of the process and the process ends up at the other object or the process originates at the other object
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Object) (instance ?X ?PHYS)) (confersRight (exists (?PROC) (and (instance ?PROC Process) (or (resource ?PROC ?X) (instrument ?PROC ?X) (patient ?PROC ?X)) (or (agent ?PROC ?CUST) (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))	Hotel.kif 504-520	If customer a cognitive agent and an agent and propertyAmenity the agent and a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the agent allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC ?PROC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHYS) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility))	Hotel.kif 522-538	If customer a cognitive agent and an agent and propertyAmenity the agent and a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity, another entity and a third entity such that the other entity is an element of belongings of the agent and the agent is an agent of the entity and the cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or the third entity is an instance of the kind of physical and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of Possibility
(=> (and (disconnected ?A ?B) (externallyConnected ?B ?C)) (or (disconnected ?A ?C) (externallyConnected ?A ?C) (partiallyOverlapping ?A ?C) (tangentialProperPart ?A ?C) (nonTangentialProperPart ?A ?C)))	Geography.kif 754-763	If disconnected a region and another region and externallyConnected the other region and a third region, then disconnected the region and the third region or externallyConnected the region and the third region or partiallyOverlapping the region and the third region or tangentialProperPart the region and the third region or nonTangentialProperPart the region and the third region

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))

Military.kif 1000-1013

equal ReachingMilitaryAgeAnnuallyMaleFn a geopolitical area and a year and the number of instances in the class described by a symbolic string

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

KB Term:			Term intersection

English Word: