Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - not
not

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41203-41203 "不" is the printable form of not in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41202-41202 "不" is the printable form of not in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41201-41201 "not" is the printable form of not in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15927-15933 A cognitive agent is an instance of human and for all an agent the agent doesn't employ the cognitive agent if and only if unemployed is an attribute of the cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1754-1764 A process is an instance of withdrawal 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 penalty 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. Economy.kif 501-505
No TPTP formula. May not be expressible in strict first order. Dining.kif 1115-1123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10257-10267
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2666-2677
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2634-2645
No TPTP formula. May not be expressible in strict first order. Merge.kif 9006-9011
No TPTP formula. May not be expressible in strict first order. Military.kif 772-778
No TPTP formula. May not be expressible in strict first order. Dining.kif 1098-1106
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1298-1309
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16042-16056
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2605-2613
No TPTP formula. May not be expressible in strict first order. Merge.kif 5627-5633
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1858-1869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28795-28816
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 675-688
No TPTP formula. May not be expressible in strict first order. Cars.kif 843-856
No TPTP formula. May not be expressible in strict first order. Dining.kif 725-748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2616-2629
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5313-5322
No TPTP formula. May not be expressible in strict first order. Cars.kif 4053-4085
No TPTP formula. May not be expressible in strict first order. Military.kif 108-122
No TPTP formula. May not be expressible in strict first order. Geography.kif 6480-6500

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 28326-28336 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 11429-11436 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. Mid-level-ontology.kif 926-937 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 4421-4429 Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a length measure and the length measure is greater than 5 nautical mile(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 8855-8861 An object connects another object and a third object if and only if the object is connected to the other object and the object is connected to the third object and the other object is not connected to the third object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20955-20970 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. People.kif 411-442 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 such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 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 such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 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 such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. 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 (the integer and a quantity) is equal to 1 and the population of the geopolitical area is equal to another quantity holds during the year the integer and the other quantity and 1000 is equal to a third quantity and another integer is equal to the number of instances in the class described by a symbolic string and a third integer is equal to the number of instances in the class described by the symbolic string and (the other integer and the third integer) is equal to a fourth quantity and the fourth quantity and the third quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28283-28291 Barefoot is an attribute of an 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 shoe and the entity は % を wears %n{ない} holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28295-28303 Naked is an attribute of an 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 entity は % を wears %n{ない} holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28369-28382 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 28415-28423 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. Merge.kif 11498-11508 An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental 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. Mid-level-ontology.kif 6166-6176 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. Merge.kif 5356-5366 A graph is an instance of multi graph if and only if there exist a graph arc, another graph arc,, , a graph node and another graph node such that the graph arc is a part of the graph and the other graph arc is a part of the graph and the graph node is a part of the graph and the other graph node is a part of the graph and the graph arc links the graph node and the other graph node and the other graph arc links the graph node and the other graph node and the graph arc is not equal to the other graph arc
No TPTP formula. May not be expressible in strict first order. Merge.kif 11746-11753 A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11294-11301 A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Transportation.kif 291-303 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 28432-28446 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 11459-11466 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 16087-16089 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 16150-16152 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 16186-16188 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

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 2519-2520 Serbia and montenegro is not an instance of independent state holds during after the day 3

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1768-1772 ~{ A GUIElement has state GUE_NonVisibleState } or ~{ the GUIElement has state GUE_ActiveState } or ~{ the GUIElement is an instance of InterfaceWindow }
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1945-1948 ~{ A GUIElement is an instance of Cursor } or ~{ the GUIElement has state GUE_SelectedState }
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1713-1716 ~{ A GUIElement is an instance of MouseCursor } or ~{ the GUIElement has state GUE_ActiveState }
No TPTP formula. May not be expressible in strict first order. Government.kif 2846-2846 Big six is not equal to group of6
No TPTP formula. May not be expressible in strict first order. Merge.kif 5664-5671 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 3150-3150 Denmark is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3151-3151 Sweden is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3152-3152 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 7592-7592 Before common era doesn't overlap common era
No TPTP formula. May not be expressible in strict first order. Geography.kif 3444-3444 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners