or - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat ChineseLanguage or "或")	domainEnglishFormat.kif 42295-42295	termFormat ChineseLanguage, or and "或"
(termFormat ChineseTraditionalLanguage or "或")	domainEnglishFormat.kif 42294-42294	termFormat ChineseTraditionalLanguage, or and "或"
(termFormat EnglishLanguage or "or")	domainEnglishFormat.kif 42293-42293	termFormat EnglishLanguage, or and "or"

antecedent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 22508-22515	located PostalPlace and GeopoliticalArea instance PostalPlace and PostalPlace instance GeopoliticalArea and Nation instance GeopoliticalArea and DependencyOrSpecialSovereigntyArea postCountry PostalPlace and GeopoliticalArea
(=> (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 11687-11697	agreementClause Proposition, DeonticAttribute, Agreement and CognitiveAgent equal DeonticAttribute and Obligation equal DeonticAttribute and Promise modalAttribute entity realization entity and Proposition agent entity and CognitiveAgent and Likely
(=> (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 24148-24160	attribute Object and WheelchairAccessible instance Object and Building instance Object and Room modalAttribute entity entity instance entity and Motion instrument entity and entity instance entity and Wheelchair eventLocated entity and Object and Possibility
(=> (and (attribute ?X Writer) (or (instance ?TEXT Text) (instance ?TEXT Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?TEXT))	Biography.kif 492-501	attribute Agent and Writer instance ContentBearingObject and Text instance ContentBearingObject and Document instance Process and Writing agent Process and Agent result Process and ContentBearingObject authors Agent and ContentBearingObject
(=> (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 2116-2125	electricityConsumptionInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityConsumption GeopoliticalArea and PhysicalQuantity
(=> (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 2160-2169	electricityExportInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityExport GeopoliticalArea and PhysicalQuantity
(=> (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 2206-2215	electricityImportInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityImport GeopoliticalArea and PhysicalQuantity
(=> (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 1984-1993	electricityProductionInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityProduction GeopoliticalArea and PhysicalQuantity
(=> (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 5552-5565	equal PathWeightFn GraphPath and Quantity graphPart GraphArc and GraphPath graphPart GraphArc and GraphPath arcWeight GraphArc and Quantity arcWeight GraphArc and Quantity GraphElement graphPart GraphElement and GraphPath equal GraphElement and GraphArc equal GraphElement and GraphArc equal PathWeightFn GraphPath and AdditionFn Quantity and Quantity
(=> (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 5538-5550	equal PathWeightFn GraphPath and Quantity subGraph GraphPath and GraphPath graphPart GraphArc and GraphPath arcWeight GraphArc and Quantity GraphElement graphPart GraphElement and GraphPath graphPart GraphElement and GraphPath equal GraphElement and GraphArc equal Quantity and AdditionFn PathWeightFn GraphPath and Quantity
(=> (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 2281-2290	exportTotalInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualExportTotal GeopoliticalArea and CurrencyMeasure
(=> (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 ?CUST ?X)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 814-835	freeFunctionRoomAmenity HotelFunctionRoom and SetOrClass instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and SetOrClass possesses CognitiveAgent and Agent customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, MeasureFn 0 and UnitedStatesDollar and CognitiveAgent
(=> (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 ?CUST ?X)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 522-537	freePropertyAmenity CognitiveAgent and SetOrClass instance Agent and SetOrClass customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, MeasureFn 0 and UnitedStatesDollar and CognitiveAgent
(=> (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 ?P (MeasureFn 0 UnitedStatesDollar) ?HOTEL))	Hotel.kif 334-349	freeRoomAmenity HotelUnit and SetOrClass subclass SetOrClass and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and SetOrClass located Object and TemporaryResidence instance Process and Process agent Process and Human patient Process and Object instrument Process and Object resource Process and Object price Process, MeasureFn 0 and UnitedStatesDollar and Agent
(=> (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 UnitedStatesDollar) ?HOTEL))	Hotel.kif 351-365	freeRoomAmenity HotelUnit and SetOrClass subclass SetOrClass and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent patient Process and Human instance Process and SetOrClass instance Process and SetOrClass subProcess Process and Process located Process and TemporaryResidence price Process, MeasureFn 0 and UnitedStatesDollar and Agent
(=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2127-2134	holdsDuring TimePosition and annualElectricityConsumption GeopoliticalArea and PhysicalQuantity instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea electricityConsumptionInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval
(=> (and (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2171-2178	holdsDuring TimePosition and annualElectricityExport GeopoliticalArea and PhysicalQuantity instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea electricityExportInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval
(=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2217-2224	holdsDuring TimePosition and annualElectricityImport GeopoliticalArea and PhysicalQuantity instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea electricityImportInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval
(=> (and (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 1995-2002	holdsDuring TimePosition and annualElectricityProduction GeopoliticalArea and PhysicalQuantity instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea electricityProductionInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval
(=> (and (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2292-2299	holdsDuring TimePosition and annualExportTotal GeopoliticalArea and CurrencyMeasure instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea exportTotalInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval
(=> (and (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2597-2604	holdsDuring TimePosition and annualImportTotal GeopoliticalArea and CurrencyMeasure instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea importTotalInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval
(=> (and (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)))))	Economy.kif 2586-2595	importTotalInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualImportTotal GeopoliticalArea and CurrencyMeasure
(=> (and (instance ?A Ambulating) (subProcess ?S1 ?A) (instance ?S1 Stepping) (subProcess ?S2 ?A) (instance ?S2 Stepping) (equal ?S1-START (BeginFn (WhenFn ?S1))) (equal ?S2-START (BeginFn (WhenFn ?S2))) (not (or (before ?S1-START ?S2-START) (before ?S2-START ?S1-START)))) (equal ?S1 ?S2))	Mid-level-ontology.kif 675-688	instance Process and Ambulating subProcess Process and Process instance Process and Stepping subProcess Process and Process instance Process and Stepping equal Process-START and BeginFn WhenFn Process equal Process-START and BeginFn WhenFn Process before Process-START and Process-START before Process-START and Process-START equal Process and Process
(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (exists (?MAINTAINING) (and (instance ?MAINTAINING Maintaining) (instrument ?MAINTAINING ?A) (experiencer ?MAINTAINING ?OBJ)))))	MilitaryDevices.kif 1619-1630	instance Object and Armor part Object and Object meetsSpatially Object and Object hasPurpose Object and entity instance entity and Maintaining instrument entity and Object experiencer entity and Object
(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?A) (experiencer ?DAMAGING ?OBJ))))))	MilitaryDevices.kif 1632-1644	instance Object and Armor part Object and Object meetsSpatially Object and Object hasPurpose Object and entity instance entity and Damaging instrument entity and Object experiencer entity and Object

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 ?NUMBER1)))))	Merge.kif 4449-4460	equal AbsoluteValueFn RealNumber and NonnegativeRealNumber instance RealNumber and RealNumber instance NonnegativeRealNumber and RealNumber instance RealNumber and NonnegativeRealNumber equal RealNumber and NonnegativeRealNumber instance RealNumber and NegativeRealNumber equal NonnegativeRealNumber and SubtractionFn 0 and RealNumber
(<=> (attribute ?Q Queen) (or (attribute ?Q QueenRegnant) (attribute ?Q QueenConsort)))	Government.kif 1354-1358	attribute Object and Queen attribute Object and QueenRegnant attribute Object and QueenConsort
(<=> (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (greaterThan ?NUMBER1 ?NUMBER2)))	Merge.kif 1792-1796	greaterThanOrEqualTo Quantity and Quantity equal Quantity and Quantity greaterThan Quantity and Quantity
(<=> (holdsDuring ?TIME (instance ?AGENT LegalAgent)) (holdsDuring ?TIME (or (capability LegalAction agent ?AGENT) (capability LegalAction patient ?AGENT))))	Merge.kif 1508-1514	holdsDuring TimePosition and instance entity and LegalAgent holdsDuring TimePosition and capability LegalAction, agent and entity capability LegalAction, patient and entity
(<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON))))	Mid-level-ontology.kif 9903-9910	instance Object and Bone Object instance Object and Skeleton instance Object and Exoskeleton part Object and 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 3363-3372	instance Entity and Continent equal Africa and Entity equal NorthAmerica and Entity equal SouthAmerica and Entity equal Antarctica and Entity equal Europe and Entity equal Asia and Entity equal Oceania and Entity
(<=> (instance ?HEMISPHERE Hemisphere) (or (equal ?HEMISPHERE NorthernHemisphere) (equal ?HEMISPHERE SouthernHemisphere) (equal ?HEMISPHERE EasternHemisphere) (equal ?HEMISPHERE WesternHemisphere)))	Geography.kif 3347-3353	instance Entity and Hemisphere equal Entity and NorthernHemisphere equal Entity and SouthernHemisphere equal Entity and EasternHemisphere equal Entity and WesternHemisphere
(<=> (instance ?ORG GovernmentOrganization) (or (instance ?ORG Government) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)))))	Government.kif 108-115	instance Organization and GovernmentOrganization instance Organization and Government Organization instance Organization and Government subOrganization Organization and Organization
(<=> (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2)))	Merge.kif 1774-1778	lessThanOrEqualTo Quantity and Quantity equal Quantity and Quantity lessThan Quantity and Quantity
(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2)))	Merge.kif 15799-15803	orientation Object, Object and Adjacent orientation Object, Object and Near connected Object and Object
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above)))	Merge.kif 15787-15791	orientation Object, Object and Below orientation Object, Object and On orientation Object, Object and Above
(=> (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 725-740	agreementRevisionDate Proposition, TimePosition and Proposition TimePosition instance TimePosition and TimePosition holdsDuring ImmediatePastFn TimePosition and subProposition Proposition and Proposition holdsDuring ImmediateFutureFn TimePosition and subProposition Proposition and Proposition holdsDuring ImmediatePastFn TimePosition and subProposition Proposition and Proposition holdsDuring ImmediateFutureFn TimePosition and subProposition Proposition and Proposition
(=> (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 614-626	amountDue FinancialAccount, CurrencyMeasure and TimePosition accountHolder FinancialAccount and CognitiveAgent holdsObligation KappaFn SymbolicString and instance SymbolicString and Payment transactionAmount SymbolicString and CurrencyMeasure destination SymbolicString and CurrencyFn FinancialAccount origin SymbolicString and CurrencyFn FinancialAccount date SymbolicString and entity beforeOrEqual EndFn entity and BeginFn TimePosition and CognitiveAgent
(=> (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 286-297	attribute Agent and Entity instance Entity and CommissionedOfficerRank Process Object instance Process and Managing agent Process and Agent patient Process and Object instance Object and MilitaryOrganization attribute Object and Soldier
(=> (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 23665-23678	attribute Agent and Multilingual instance Process and Speaking agent Process and Agent modalAttribute entity entity instance entity and SpokenHumanLanguage instance entity and SpokenHumanLanguage equal entity and entity patient Process and entity patient Process and entity and 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 12709-12722	boilingPoint PureSubstance and MeasureFn RealNumber and UnitOfMeasure instance Entity and PureSubstance holdsDuring TimeInterval and measure Entity and MeasureFn Quantity and UnitOfMeasure instance UnitOfMeasure and UnitOfTemperature greaterThanOrEqualTo Quantity and RealNumber holdsDuring TimeInterval and attribute Entity and Gas Process overlapsTemporally WhenFn Process and TimeInterval instance Process and Boiling patient Process and Entity
(=> (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 2338-2353	customer CognitiveAgent and CognitiveAgent employs CognitiveAgent and CognitiveAgent attribute CognitiveAgent and TravelerAccommodation attribute CognitiveAgent and Porter possesses CognitiveAgent and Object instance Object and TravelContainer Object Process instance Object and HotelUnit instance Process and Carrying agent Process and CognitiveAgent destination Process and Object origin Process and 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 480-496	customer CognitiveAgent and CognitiveAgent propertyAmenity CognitiveAgent and Physical subclass Physical and Object instance Entity and Physical confersRight entity instance entity and Process resource entity and Entity instrument entity and Entity patient entity and Entity agent entity and CognitiveAgent experiencer entity and CognitiveAgent, CognitiveAgent and CognitiveAgent
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHY) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility))	Hotel.kif 498-514	customer CognitiveAgent and CognitiveAgent propertyAmenity CognitiveAgent and Physical subclass Physical and Process modalAttribute entity entity element entity and PropertyFn CognitiveAgent agent entity and CognitiveAgent patient entity and CognitiveAgent instance entity and Physical instance entity and entity subProcess entity and entity located entity and entity and Possibility
(=> (and (domain ?REL ?NUMBER ?CLASS1) (domain ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 219-225	domain Relation, PositiveInteger and SetOrClass domain Relation, PositiveInteger and SetOrClass subclass SetOrClass and SetOrClass subclass SetOrClass and SetOrClass
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS1) (domainSubclass ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 242-248	domainSubclass Relation, PositiveInteger and SetOrClass domainSubclass Relation, PositiveInteger and SetOrClass subclass SetOrClass and SetOrClass subclass SetOrClass and SetOrClass
(=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 784-805	functionRoomAmenity HotelFunctionRoom and Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn Agent instance Process and Renting patient Process and Entity agent Process and Agent destination Process and Entity subclass Physical and Object modalAttribute entity entity instance entity and Physical instance entity and Process resource entity and entity instrument entity and entity patient entity and entity agent entity and Entity experiencer entity and Entity and Possibility
(=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))) ?HOTEL ?CUST))))	Hotel.kif 289-308	guest Human and CognitiveAgent stays Human and TemporaryResidence element TemporaryResidence and PropertyFn CognitiveAgent instance TemporaryResidence and TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and Physical subclass Physical and Object Physical instance Physical and Physical located Physical and TemporaryResidence confersRight entity agent entity and Human instrument entity and Physical patient entity and Physical resource entity and Physical, CognitiveAgent and Human
(=> (and (hasGUEState ?WIN1 GUE_UncoveredState) (hasGUEState ?WIN1 GUE_MaximizedState) (screenOfGUIE ?WIN1 ?SCREEN) (instance ?WIN2 InterfaceWindow) (screenOfGUIE ?WIN2 ?SCREEN) (not (equal ?WIN1 ?WIN2))) (or (hasGUEState ?WIN2 GUE_CoveredState) (hasGUEState ?WIN2 GUE_PartiallyCoveredState) (hasGUEState ?WIN2 GUE_OffscreenState)))	ComputerInput.kif 1690-1701	hasGUEState GUIElement and GUE_UncoveredState hasGUEState GUIElement and GUE_MaximizedState screenOfGUIE GUIElement and InterfaceScreen instance GUIElement and InterfaceWindow screenOfGUIE GUIElement and InterfaceScreen equal GUIElement and GUIElement hasGUEState GUIElement and GUE_CoveredState hasGUEState GUIElement and GUE_PartiallyCoveredState hasGUEState GUIElement and GUE_OffscreenState
(=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2)))	Merge.kif 9191-9197	hole Hole and SelfConnectedObject part SelfConnectedObject and SelfConnectedObject overlapsSpatially Hole and SelfConnectedObject hole Hole and SelfConnectedObject

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 928-941

equal ReachingMilitaryAgeAnnuallyMaleFn GeopoliticalArea and Year and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male militaryAge GeopoliticalArea and entity equal entity and SubtractionFn entity and 1 holdsDuring Year and age SymbolicString and entity age SymbolicString and entity equal entity and entity inhabits SymbolicString and GeopoliticalArea

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: