not - Sigma Knowledge base Browser

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41314-41314
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41313-41313
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41312-41312

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1832-1842	A process is an instance of withdrawing from an account and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17346-17354	An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed person is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 506-510	If high income country is an attribute of an agent and the agent is not a member of organization of petroleum exporting countries, then developed country is an economy type of the agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	If family_style portions is an attribute of an object and the measure of the object is a real number an unit of measure(s) and family_style portions is not an attribute of another object and the measure of the other object is another real number the unit of measure(s) and the object is an instance of a class and the other object is an instance of the class and the unit of measure is an instance of unit of measure, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4324-4337	If an attribute is an attribute of an object and the object is an instance of substance and the attribute is an instance of hazardous material transport attribute and hazardous explosives is not an attribute of the object and hazardous gases is not an attribute of the object and flammable liquid is not an attribute of the object and flammable solid is not an attribute of the object and oxidizing substance is not an attribute of the object and toxic and infectious substance is not an attribute of the object and radioactive substance is not an attribute of the object and corrosive substance is not an attribute of the object, then the attribute is equal to hazardous miscellaneous
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and female is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and male is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 13
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3972-3992	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and the agent is not equal to the other agent and a process is an instance of a class and another process is an instance of the class and the class is a subclass of intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13361-13371	If an attribute is an attribute of an object and the attribute is an instance of fingerprint and the object is not an instance of finger, then there exist the attributeR and another object such that the other object is an instrument for the attributeR and the other object is an instance of finger and the attribute is an attribute of the other object and the object is a patient of the attributeR
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	If concave is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and a third object is equal to the line between the object and the other object and the object is not equal to the other object and a fourth object is a part of the third object, then the fourth object is outside to the self connected object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	If convex is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and a third object is equal to the line between the object and the other object and the object is not equal to the other object and a fourth object is a part of the third object, then the fourth object is inside to the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4071-4088	If a geometric figure is an attribute of an object and the object is an instance of four_poster bed and the geometric figure is an instance of quadrilateral and the size of the geometric figure is an one dimensional figure and the size of the geometric figure is another one dimensional figure and the one dimensional figure is not equal to the other one dimensional figure, then there exist another object, a third object,, , a geometric point and a fourth object such that the other object is a part of the object and the third object is an instance of floor and the object is on to the third object and the other object is vertical to the third object and the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the geometric point is an attribute of the fourth object and the fourth object meets the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9776-9781	If the bottom of a self connected object is another self connected object and an object is a part of the self connected object and the object is not connected to the other self connected object, then the object is above to the other self connected object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 355-373	If an agent breathes at a rate of an integer breaths per a time interval 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 human adult 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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	If the concentration of a kind of substance in a mixture is a real number an unit of measure(s) per another real number the unit of measure2(s) and a kind of substanceI is an instance of the kind of substance and the kind of substanceI is a part of the mixture and the measure of the kind of substanceI is a third real number the unit of measure3(s) and the kind of substanceI is a part of the mixture and the kind of substanceI2 is not an instance of the kind of substance and the kind of substanceI is not equal to the kind of substanceIE2 and the kind of substanceI2 is a part of the mixture and the measure of the mixture is the other real number the unit of measure2(s), then the approximate value of the real number is the third real number
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1148-1156	If probability of comfort food is an attribute of an entity provided that heart_healthy food is an attribute of the entity holds is a real number and probability of comfort food is an attribute of the entity provided that heart_healthy food is not an attribute of the entity holds is another real number, then the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9615-9621	If an object is connected to another object and the object is connected to a third object and the other object is not connected to the third object, then the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 31-45	If connectedBodyPartTypes a kind of body part, another kind of body part and a kind of organism and a kind of organismC is an instance of the kind of organism and disease or syndrome is not an attribute of another object, then there exist a third object and a fourth object such that the third object is an instance of a kind of body part and the fourth object is an instance of another kind of body part and the third object is not equal to the fourth object and the third object is a part of the kind of organismC and the fourth object is a part of the kind of organismC and the third object is connected to the fourth object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 469-477	If @ROW is the opposite of and an attribute is equal to another entity element of (@ROW) and another attribute is equal to a third entity element of (@ROW) and a positive integer is not equal to another positive integer and a fourth entity the attribute the attribute, then the fourth entity does not have the attribute the other attribute
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	If an agent is a customer of a cognitive agent and the agent charges a currency measure in corkage for a kind of object and another object is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the other object is a patient of the process and the process ends up at the cognitive agent and the process originates at the agent and another process is an instance of drinking and the cognitive agent is an agent of the other process and the other object is a resource for the other process, then there exists a third process such that the third process is an instance of corkage and the cognitive agent is an agent of the third process and the third process includes a reference to the other object and the third process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	If an engineering component is a component of internet and another engineering component is a component of internet and the engineering component is not equal to the other engineering component, then internet has the purpose there exists an entity such that the entity is an instance of communication and the engineering component is an agent of the entity and the entity ends up at the other engineering component and internet is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4851-4862	If the greatest common divisor of @ROW is equal to an integer and the integer is not equal to 0, then for all another integer if the other integer is a member of (@ROW), then the other integer mod the integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4864-4878	If the greatest common divisor of @ROW is equal to an integer and the integer is not equal to 0, then there doesn't exist another integer such that the other integer is greater than the integer and for all a third integer if the third integer is a member of (@ROW), then the third integer mod the other integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4936-4946	If the least common multiple of @ROW is equal to an integer and the integer is not equal to 0, then for all another integer if the other integer is a member of (@ROW), then the integer mod the other integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4948-4962	If the least common multiple of @ROW is equal to an integer and the integer is not equal to 0, then there doesn't exist another integer such that the other integer is less than the integer and for all a third integer if the third integer is a member of (@ROW), then the other integer mod the third integer is equal to 0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31121-31131	An entity is an instance of body part and bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12537-12544	A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 744-755	Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and the process is not equal to the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4780-4789	Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24004-24019	A human and another human are cousins if and only if there exist a woman and a man such that the grandmother of the human is the woman and the grandfather of the human is the man and the grandmother of the other human is the woman and the grandfather of the other human is the man and there don't exist an organism and another organism such that the organism is a mother of the human and the other organism is a father of the human and the organism is a mother of the other human and the other organism is a father of the other human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31166-31179	Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that the entity is not equal to the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31214-31222	Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6954-6964	An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 294-306	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 a symbolic string is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31239-31253	A process is performed in the manner harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14706-14713	The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17508-17510	The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17571-17573	The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17607-17609	The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9819-9822	An object is outside to another object if and only if the object is not partly located in the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24095-24102	A man is the stepfather of a human if and only if there exists another human such that the other human is a mother of the human and the man is the spouse of the other human and the man is not a father of the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24112-24119	A woman is the stepfather of a human if and only if there exists another human such that the other human is a father of the human and the woman is the spouse of the other human and the woman is not a mother of the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14947-14954	If a cognitive agent has the responsibility to make a proposition prohibition in an agreement, then the cognitive agent doesn't have the right to perform there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14911-14914	If an agreement has expiration a time point, then the agreement does not have the attribute active agreement holds during after the time point
No TPTP formula. May not be expressible in strict first order.	Government.kif 701-716	If a proposition agreement revision date a kind of time position for 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
No TPTP formula. May not be expressible in strict first order.	Music.kif 261-270	If an album was released on a time point, then there exist a geographic area and a kind of data storage device such that the set of copies on a kind of data storage device of the album was released for sale in the geographic area at the time point and there don't exist another time point, another geographic area and another kind of data storage device such that the other time point happens before the time point and the set of copies on another kind of data storage device of the album was released for sale in the other geographic area at the other time point

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Media.kif 2546-2550

A time position is an instance of the day 3 and serbia and montenegro is not an instance of independent state holds during after the time position

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2011-2015	~{ A GUI element has state GUE non visible state } or ~{ the GUI element has state GUE active state } or ~{ the GUI element is an instance of interface window }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2226-2229	~{ A GUI element is an instance of cursor } or ~{ the GUI element has state GUE selected state }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1952-1955	~{ A GUI element is an instance of mouse cursor } or ~{ the GUI element has state GUE active state }
No TPTP formula. May not be expressible in strict first order.	Government.kif 2877-2877	Big six is not equal to group of6
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6086-6093	There don't exist a graph path and another graph path such that the graph path is an instance of the set of paths that partition a graph into two separate graphs and the other graph path is an instance of the set of minimal paths that partition the graph into two separate graphs and the length of the graph path is a positive integer and the length of the other graph path is another positive integer and the positive integer is less than the other positive integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 3181-3181	Denmark is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3182-3182	Sweden is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3183-3183	United kingdom is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8591-8591	Before common era doesn't overlap common era
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3573-3573	Not botanical tree is found in arctic region

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: