Knowledge base Browser

appearance as argument number 2

term format english language, not and "not"

antecedent

(<=> (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON)))) (attribute ?PERSON Unemployed))	Merge.kif 14127-14133	A cognitive agent is an instance of human and for all an organization organization doesn't employ cognitive agent if and only if unemployed is an attribute of cognitive agent
(<=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) (liquidity ?Account HighLiquidity))	FinancialOntology.kif 1676-1686	A process is an instance of withdrawal and a financial account is an instance of financial account and process originates at the currency of financial account and there doesn't exist process so that process is an instance of penalty and process ends at the currency of financial account and process causes process if and only if liquidity financial account and high liquidity
(=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry))	Economy.kif 496-500	If high income country is an attribute of a self connected object and self connected object is not a member of organization of petroleum exporting countries then developed country is an economy type of self connected object
(=> (and (attribute ?O ?P) (instance ?P Fingerprint) (not (instance ?O Finger))) (exists (?PR ?F) (and (instrument ?PR ?F) (instance ?F Finger) (attribute ?F ?P) (patient ?PR ?O))))	Mid-level-ontology.kif 7561-7571	If an attribute is an attribute of an object and attribute is an instance of fingerprint and object is not an instance of finger then there exist attributeR and object so that object is an instrument for attributeR and object is an instance of finger and attribute is an attribute of object and object is a patient of attributeR
(=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above))	Merge.kif 7692-7697	If the bottom of a self connected object is self connected object and an object is a part of self connected object and object is not connected to self connected object then object is above to self connected object
(=> (and (citizen ?P ?C) (not (exists (?L) (located ?P ?L)))) (located ?P ?C))	Military.kif 726-732	If a human is a citizen of a nation and there doesn't exist an object so that human is located at object then human is located at nation
(=> (and (equal (ListLengthFn ?LIST) ?NUMBER1) (instance ?LIST List) (not (equal ?LIST NullList)) (instance ?NUMBER1 PositiveInteger)) (forall (?NUMBER2) (<=> (exists (?ITEM) (and (equal (ListOrderFn ?LIST ?NUMBER2) ?ITEM) (inList ?ITEM ?LIST))) (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))))	Merge.kif 2455-2468	If length of a list is equal to a nonnegative integer and list is an instance of list and list is not equal to null list and nonnegative integer is an instance of positive integer then for all a positive integer there exists an entity so that positive integerth element of list is equal to entity and entity is a member of list if and only if positive integer is less than or equal to nonnegative integer
(=> (and (equal (ListLengthFn ?LIST1) ?NUMBER) (instance ?LIST List) (not (equal ?LIST NullList)) (instance ?NUMBER1 PositiveInteger)) (exists (?LIST2 ?ITEM) (and (initialList ?LIST1 ?LIST2) (equal (SuccessorFn ?NUMBER) (ListLengthFn ?LIST2)) (equal (ListOrderFn ?LIST2 (SuccessorFn ?NUMBER)) ?ITEM))))	Merge.kif 2488-2499	If length of a list is equal to a nonnegative integer and list is an instance of list and list is not equal to null list and nonnegative integer1 is an instance of positive integer then there exist list2 and entity so that list starts list2 and ( nonnegative integer+1) is equal to length of list2 and ( nonnegative integer+1)th element of list2 is equal to entity
(=> (and (graphPart ?PATH ?GRAPH) (not (instance ?GRAPH DirectedGraph))) (<=> (equal (GraphPathFn ?NODE1 ?NODE2) ?PATH) (equal (GraphPathFn ?NODE2 ?NODE1) ?PATH)))	Merge.kif 4795-4801	If a graph path is a part of a graph and graph is not an instance of directed graph then the set of paths between a graph node and graph node is equal to a graph path if and only if the set of paths between graph node and graph node is equal to graph path
(=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (patient ?P ?W))))	naics.kif 938-951	If an agent is an instance of animal and an attribute is an instance of disease or syndrome and attribute is not an attribute of agent then there exist a process and an entity so that process is an instance of biological process and process is an instance of removing and process originates at agent and entity is an instance of sewage and agent is an agent of process and entity is a patient of process
(=> (and (instance ?B Bubble) (not (exists (?X ?S) (and (attribute ?X ?S) (not (equal ?X Gas)) (meetsSpatially ?X ?B))))) (attribute ?B RoundShape))	Mid-level-ontology.kif 3144-3153	If an object is an instance of bubble and there don't exist object and an attribute so that attribute is an attribute of object and object is not equal to gas and object meets object then round shape is an attribute of object
(=> (and (instance ?C Convoy) (member ?X1 ?C) (member ?X2 ?C) (not (equal ?X1 ?X2))) (exists (?P1 ?P2 ?D) (and (instance ?P1 Transportation) (instance ?P2 Transportation) (agent ?P1 ?X1) (agent ?P2 ?X2) (destination ?P1 ?D) (destination ?P2 ?D))))	Military.kif 108-122	If a collection is an instance of convoy and a self connected object is a member of collection and self connected object is a member of collection and self connected object is not equal to self connected object then there exist a process process and and an entity so that process is an instance of transportation and process is an instance of transportation and self connected object is an agent of process and self connected object is an agent of process and process ends at entity and process ends at entity
(=> (and (instance ?C InPersonCommunication) (agent ?C ?A1) (agent ?C ?A2) (not (equal ?A1 ?A2))) (holdsDuring ?C (orientation ?A1 ?A2 Near)))	Media.kif 221-228	If a process is an instance of InPersonCommunication and an agent is an agent of process and agent is an agent of process and agent is not equal to agent then agent is near to agent holds during process
(=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY))))	CountriesAndRegions.kif 803-808	If an american city is an instance of american city and american city is a part of california and american city is not equal to los angeles california then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of american city
(=> (and (instance ?DIO DefensiveInformationOperation) (agent ?DIO ?AGENT) (enemy ?AGENT ?ENEMY) (desires ?ENEMY (knows ?ENEMY ?FORMULA)) (desires ?AGENT (not (knows ?ENEMY ?FORMULA)))) (hasPurpose ?DIO (not (knows ?ENEMY ?FORMULA))))	MilitaryProcesses.kif 1839-1851	If a process is an instance of defensive information operation and a cognitive agent is an agent of process and cognitive agent and cognitive agent are enemies of each other and cognitive agent desires cognitive agent knows a formula and cognitive agent desires cognitive agent doesn't know formula then process has purpose cognitive agent doesn't know formula
(=> (and (instance ?ELECTION PopularElection) (electionWinner ?ELECTION ?POSITION ?PERSON1) (voteFractionReceived ?ELECTION ?POSITION ?PERSON1 ?NUMBER1) (voteFractionReceived ?ELECTION ?POSITION ?PERSON2 ?NUMBER2) (not (equal ?PERSON1 ?PERSON2))) (greaterThan ?NUMBER1 ?NUMBER2))	Government.kif 1741-1748	If an election is an instance of popular election and election election winner a social role for an agent and election vote fraction received social role for agent with a real number and election vote fraction received social role for agent with real number and agent is not equal to agent then real number is greater than real number
(=> (and (instance ?GRAPH Graph) (instance ?NODE1 GraphNode) (instance ?NODE2 GraphNode) (graphPart ?NODE1 ?GRAPH) (graphPart ?NODE2 ?GRAPH) (not (equal ?NODE1 ?NODE2))) (exists (?ARC ?PATH) (or (links ?NODE1 ?NODE2 ?ARC) (and (subGraph ?PATH ?GRAPH) (instance ?PATH GraphPath) (or (and (equal (BeginNodeFn ?PATH) ?NODE1) (equal (EndNodeFn ?PATH) ?NODE2)) (and (equal (BeginNodeFn ?PATH) ?NODE2) (equal (EndNodeFn ?PATH) ?NODE1)))))))	Merge.kif 4431-4451	If a graph is an instance of graph and a graph node is an instance of graph node and graph node is an instance of graph node and graph node is a part of graph and graph node is a part of graph and graph node is not equal to graph node then there exist a graph arc and a graph path so that graph arc links graph node and graph node or graph path is a subgraph of graph and graph path is an instance of graph path and the beginning of graph path is equal to graph node and the end of graph path is equal to graph node or the beginning of graph path is equal to graph node and the end of graph path is equal to graph node
(=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1017-1032	If a device is an instance of gun and a length measure is an effective range of device and the distance between device and an object is length measure1 and object is an instance of organism and there doesn't exist object2 so that object2 is between object and device and length measure1 is less than or equal to length measure then device is capable to do the class described by ?KILLING in role instrument
(=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN))	Mid-level-ontology.kif 999-1013	If a device is an instance of gun and a length measure is an effective range of device and the distance between device and an object is length measure1 and there doesn't exist object2 so that object2 is between object and device and length measure1 is less than or equal to length measure then device is capable to do the class described by ?DAMAGING in role instrument
(=> (and (instance ?Isthmus Isthmus) (side ?Leftside ?Isthmus) (side ?Rightside ?Isthmus) (not (equal ?Leftside ?Rightside))) (exists (?Region1 ?Region2 ?Water1 ?Water2) (and (instance ?Region1 LandArea) (instance ?Region2 LandArea) (between ?Region1 ?Isthmus ?Region2) (instance ?Water1 WaterArea) (instance ?Water2 WaterArea) (meetsSpatially ?Leftside ?Water1) (meetsSpatially ?Rightside ?Water2))))	Geography.kif 5363-5377	If a self connected object is an instance of isthmus and a side of self connected object is self connected object and a side of self connected object is a self connected object and self connected object is not equal to self connected object then there exist an object object, a object and and a object so that object is an instance of land area and object is an instance of land area and self connected object is between object and object and object is an instance of water area and object is an instance of water area and self connected object meets object and self connected object meets object
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (subOrganization ?FORCE2 ?JOINT) (not (equal ?FORCE1 ?FORCE2)) (leaderPosition ?JOINT ?JOINTCOMMANDER)) (and (leaderPosition ?FORCE1 ?JOINTCOMMANDER) (leaderPosition ?FORCE2 ?JOINTCOMMANDER)))	MilitaryProcesses.kif 1699-1709	If an organization is an instance of joint forces and organization is a part of the organization organization and a organization is a part of the organization organization and organization is not equal to organization and organizationCOMMANDER is a leader position of organization then organizationCOMMANDER is a leader position of organization and organizationCOMMANDER is a leader position of organization
(=> (and (instance ?LAND Continent) (not (equal ?LAND Antarctica))) (orientation Antarctica ?LAND South))	Geography.kif 292-296	If a geopolitical area is an instance of continent and geopolitical area is not equal to antarctica then antarctica is south to geopolitical area
(=> (and (instance ?LIST List) (not (equal ?LIST NullList))) (equal (FirstFn ?LIST) (ListOrderFn ?LIST 1)))	Mid-level-ontology.kif 4075-4080	If a list is an instance of list and list is not equal to null list then the first of list is equal to 1th element of list
(=> (and (instance ?M OrganizationalMerging) (patient ?M ?ORG1) (patient ?M ?ORG2) (not (equal ?ORG1 ?ORG2))) (and (holdsDuring (BeginFn (WhenFn ?M)) (not (exists (?S) (and (subOrganization ?ORG1 ?S) (subOrganization ?ORG2 ?S))))) (holdsDuring (EndFn (WhenFn ?M)) (exists (?S) (and (subOrganization ?ORG1 ?S) (subOrganization ?ORG2 ?S))))))	Mid-level-ontology.kif 10148-10167	If a process is an instance of organizational merging and an organization is a patient of process and organization is a patient of process and organization is not equal to organization then there doesn't exist a organization so that organization is a part of the organization organization and organization is a part of the organization organization holds during the beginning of the time of existence of process and there exists organization so that organization is a part of the organization organization and organization is a part of the organization organization holds during the end of the time of existence of process
(=> (and (instance ?MIXTURE Mixture) (part ?SUBSTANCE ?MIXTURE) (not (instance ?SUBSTANCE Mixture))) (instance ?SUBSTANCE PureSubstance))	Merge.kif 1023-1028	If an object is an instance of mixture and object is a part of object and object is not an instance of mixture then object is an instance of pure substance

Display limited to 25 items. Show next 25

consequent

(<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2))))	Merge.kif 9893-9900	A process is an instance of combining and an object is a resource for process and object is a result of process if and only if object is not a part of object holds during the beginning of the time of existence of process and object is a part of object holds during the end of the time of existence of process
(<=> (attribute ?WATER OpenSea) (forall (?LAND) (and (instance ?AREA SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER ?DIST) (greaterThan ?DIST (MeasureFn 5 NauticalMile)))))	Geography.kif 4317-4324	Open sea is an attribute of an object if and only if for all a physical an entity is an instance of salt water area and object is not an instance of landlocked water and the distance between physical and object is a length measure and length measure is greater than 5 nautical mile(s)
(<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))	Merge.kif 7569-7575	A self connected object connects self connected object and a self connected object if and only if self connected object is connected to self connected object and self connected object is connected to self connected object and self connected object is not connected to self connected object
(<=> (cousin ?P1 ?P2) (and (exists (?G1 ?G2) (and (grandmother ?P1 ?G1) (grandfather ?P1 ?G2) (grandmother ?P2 ?G1) (grandfather ?P2 ?G2))) (not (exists (?M ?F) (and (mother ?P1 ?M) (father ?P1 ?F) (mother ?P2 ?M) (father ?P2 ?F))))))	Mid-level-ontology.kif 15995-16010	cousin a human and human if and only if there exist a woman and a man so that grandmother human and woman and grandfather human and man and grandmother human and woman and grandfather human and man and there don't exist an organism and organism so that organism is a mother of human and organism is a father of human and organism is a mother of human and organism is a father of human
(<=> (disjoint ?CLASS1 ?CLASS2) (forall (?INST) (not (and (instance ?INST ?CLASS1) (instance ?INST ?CLASS2)))))	Merge.kif 374-380	A set or class is disjoint from set or class if and only if for all an entity ~{ entity is an instance of set or class } or ~{ entity is an instance of set or class }
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 412-443	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list so that list is an instance of list and length of list is an instance of a set or class and for all listITEM if listITEM is a member of list then listITEM is an instance of set or class and there doesn't exist entity so that entity is an instance of set or class and entity is not a member of list and set or class is equal to the number of instances in the class described by set or class and real number is an average of list
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 324-354	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list so that list is an instance of list and length of list is an instance of a set or class and for all listITEM if listITEM is a member of list then listITEM is an instance of set or class and there doesn't exist entity so that entity is an instance of set or class and entity is not a member of list and set or class is equal to the number of instances in the class described by set or class and real number is an average of list
(<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 368-399	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list so that list is an instance of list and length of list is an instance of a set or class and for all listITEM if listITEM is a member of list then listITEM is an instance of set or class and there doesn't exist entity so that entity is an instance of set or class and entity is not a member of list and set or class is equal to the number of instances in the class described by set or class and real number is an average of list
(<=> (equal (MigrantsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (holdsDuring (YearFn ?YEAR) (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (not (inhabits ?PERSON ?AREA))) (holdsDuring (YearFn ?YEAR) (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (inhabits ?PERSON ?AREA)) (holdsDuring (YearFn ?YEAR) (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 174-202	The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if ( integer and integer) is equal to 1 and the population of geopolitical area is equal to a integer holds during the year integer and integer and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by ?PERSON and number is equal to the number of instances in the class described by ?PERSON and ( number and number) is equal to quantity and quantity and quantity is equal to real number
(<=> (equal ?LIST NullList) (and (instance ?LIST List) (not (exists (?ITEM) (inList ?ITEM ?LIST)))))	Merge.kif 2373-2379	A list is equal to null list if and only if list is an instance of list and there doesn't exist an entity so that entity is a member of list
(<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (time ?ABS ?POINT)))))	Merge.kif 1351-1357	A physical is an instance of abstract if and only if there doesn't exist an object so that physical is located at object or physical exists during object
(<=> (instance ?COMPOUND CompoundSubstance) (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS) (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND))))	Merge.kif 9957-9967	An entity is an instance of compound substance if and only if there exist an object object and and a process so that object is an instance of elemental substance and object is an instance of elemental substance and object is not equal to object and process is an instance of chemical synthesis and object is a resource for process and object is a resource for process and entity is a result of process
(<=> (instance ?CS ConjugatedSubstance) (exists (?C1 ?C2 ?P) (and (instance ?C1 CompoundSubstance) (instance ?C2 CompoundSubstance) (not (equal ?C1 ?C2)) (instance ?P ChemicalSynthesis) (resource ?P ?C1) (resource ?P ?C2) (result ?P ?CS))))	Mid-level-ontology.kif 3882-3892	An entity is an instance of conjugated substance if and only if there exist an object object and and a process so that object is an instance of compound substance and object is an instance of compound substance and object is not equal to object and process is an instance of chemical synthesis and object is a resource for process and object is a resource for process and entity is a result of process
(<=> (instance ?GRAPH MultiGraph) (exists (?ARC1 ?ARC2 ?NODE1 ?NODE2) (and (graphPart ?ARC1 ?GRAPH) (graphPart ?ARC2 ?GRAPH) (graphPart ?NODE1 ?GRAPH) (graphPart ?NODE2 ?GRAPH) (links ?NODE1 ?NODE2 ?ARC1) (links ?NODE1 ?NODE2 ?ARC2) (not (equal ?ARC1 ?ARC2)))))	Merge.kif 4545-4555	A graph is an instance of multi graph if and only if there exist a graph arc graph arc, a graph node and and graph node so that graph arc is a part of graph and graph arc is a part of graph and graph node is a part of graph and graph node is a part of graph and graph arc links graph node and graph node and graph arc links graph node and graph node and graph arc is not equal to graph arc
(<=> (instance ?MUSIC PolyphonicMusic) (exists (?PART1 ?PART2) (and (instance ?MUSIC Music) (instance ?PART1 Music) (instance ?PART2 Music) (subProcess ?PART1 ?MUSIC) (subProcess ?PART2 ?MUSIC) (not (equal ?PART1 ?PART2)) (cooccur ?PART1 ?MUSIC) (cooccur ?PART2 ?MUSIC))))	Mid-level-ontology.kif 456-467	A process is an instance of polyphonic music if and only if there exist process and a process so that process is an instance of music and process is an instance of music and process is an instance of music and process is a subprocess of process and process is a subprocess of process and process is not equal to process and process occurs at the same time as process and process occurs at the same time as process
(<=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS)))))))	Merge.kif 10203-10210	A process is an instance of creation if and only if there exists a physical so that physical is a patient of process and physical exists during the end of the time of existence of process and physical doesn't exist during the beginning of the time of existence of process
(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (BeginFn (WhenFn ?PROCESS))) (not (time ?PATIENT (EndFn (WhenFn ?PROCESS)))))))	Merge.kif 9760-9767	A process is an instance of destruction if and only if there exists a physical so that physical is a patient of process and physical exists during the beginning of the time of existence of process and physical doesn't exist during the end of the time of existence of process
(<=> (instance ?REL IntransitiveRelation) (forall (?INST1 ?INST2 ?INST3) (=> (and (?REL ?INST1 ?INST2) (?REL ?INST2 ?INST3)) (not (?REL ?INST1 ?INST3)))))	Merge.kif 1906-1914	An entity is an instance of intransitive relation if and only if for all entity a entity and and a entity if entity entity and entity and entity entity and entity then entity entity and entity
(<=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (?REL ?INST ?INST))))	Merge.kif 1819-1823	An entity is an instance of irreflexive relation if and only if for all entity entity entity and entity
(<=> (instance ?REL TotalOrderingRelation) (forall (?INST1 ?INST2) (and (or (?REL ?INST1 ?INST2) (?REL ?INST2 ?INST1)) (or (not (?REL ?INST1 ?INST2)) (not (?REL ?INST2 ?INST1))))))	Merge.kif 1929-1938	An entity is an instance of total ordering relation if and only if for all entity and a entity entity entity and entity or entity entity and entity and entity entity and entity or entity entity and entity
(<=> (instance ?REL TrichotomizingRelation) (forall (?INST1 ?INST2) (or (and (?REL ?INST1 ?INST2) (not (equal ?INST1 ?INST2)) (not (?REL ?INST2 ?INST1))) (and (not (?REL ?INST1 ?INST2)) (equal ?INST1 ?INST2) (not (?REL ?INST2 ?INST1))) (and (not (?REL ?INST1 ?INST2)) (not (equal ?INST1 ?INST2)) (?REL ?INST2 ?INST1)))))	Merge.kif 1870-1885	An entity is an instance of trichotomizing relation if and only if for all entity and a entity entity entity and entity and entity is not equal to entity and entity entity and entity or entity entity and entity and entity is equal to entity and entity entity and entity or entity entity and entity and entity is not equal to entity and entity entity and entity
(<=> (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (located ?RAILWAYS ?AREA) (not (instance ?RAILWAYS (UnionFn StandardGaugeRailway (UnionFn BroadGaugeRailway (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))	Transportation.kif 290-302	A length measure is a length of unclassified gauge railway of a geographic area if and only if the length of the class described by ?RAILWAYS is length measure
(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 8397-8404	The statement a formula has the modal force of legal if and only if there doesn't exist formula so that the statement formula has the modal force of law and formula is not a consistent of formula
(<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility)))	Merge.kif 14238-14240	The statement a formula has the modal force of necessity if and only if the statement formula doesn't have the modal force of possibility
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission)))	Merge.kif 14301-14303	The statement a formula has the modal force of obligation if and only if the statement formula doesn't have the modal force of permission

Display limited to 25 items. Show next 25

statement

(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (not
        (instance SerbiaAndMontenegro IndependentState)))

Media.kif 2258-2259

Serbia and montenegro is not an instance of independent state holds during after the day 3

appearance as argument number 0

(not (equal BigSix GroupOf6))	Government.kif 2706-2706	Big six is not equal to group of6
(not (exists (?PATH1 ?PATH2) (and (instance ?PATH1 (CutSetFn ?GRAPH)) (instance ?PATH2 (MinimalCutSetFn ?GRAPH)) (pathLength ?PATH1 ?NUMBER1) (pathLength ?PATH2 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2))))	Merge.kif 4830-4837	There don't exist a graph path and graph path so that graph path is an instance of the set of paths that partition a graph into two separate graphs and graph path is an instance of the set of minimal paths that partition graph into two separate graphs and the length of graph path is a positive integer and the length of graph path is positive integer and positive integer is less than positive integer
(not (member Denmark EuropeanMonetaryUnion))	Government.kif 3003-3003	Denmark is not a member of european monetary union
(not (member Sweden EuropeanMonetaryUnion))	Government.kif 3004-3004	Sweden is not a member of european monetary union
(not (member UnitedKingdom EuropeanMonetaryUnion))	Government.kif 3005-3005	United kingdom is not a member of european monetary union
(not (overlapsTemporally CommonEra BeforeCommonEra))	Mid-level-ontology.kif 5217-5217	Before common era doesn't overlap common era
(not (vegetationType ArcticRegion BotanicalTree))	Geography.kif 3343-3343	vegetation type arctic region and botanical tree

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

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners

KB Term:

English Word: