disjoint - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1500-1501
No TPTP formula. May not be expressible in strict first order.	Merge.kif 390-392
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 63-64
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 72-74
No TPTP formula. May not be expressible in strict first order.	Merge.kif 388-388	The number 1 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 389-389	The number 2 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 386-386	disjoint is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 387-387	disjoint is an instance of symmetric relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 285-285
No TPTP formula. May not be expressible in strict first order.	english_format.kif 290-290
No TPTP formula. May not be expressible in strict first order.	french_format.kif 165-165
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 75-75
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1985-1985
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 117-117
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 109-109
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 182-182
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 370-370
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 59-59
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 185-185
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 172-172
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 166-166
No TPTP formula. May not be expressible in strict first order.	Merge.kif 562-562	disjoint decomposition is internally related to disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 407-407	disjoint relation is internally related to disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 286-286	disjoint relation is internally related to disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19863-19863	disjoint relation is internally related to disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19862-19862	disjoint relation is internally related to disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19861-19861	disjoint relation is internally related to disjoint
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 115-115	disjoint relation is internally related to disjoint
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 167-167	disjoint relation is internally related to disjoint

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 412-417	If the number a positive integer argument of a relation is an instance of a class and the number the positive integer argument of another relation is an instance of another class and the class is disjoint from the other class, then the relation and the other relation are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 419-424	If the number a positive integer argument of a relation is a subclass of a class and the number the positive integer argument of another relation is a subclass of another class and the class is disjoint from the other class, then the relation and the other relation are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 426-431	If the range of a function is an instance of a class and the range of another function is an instance of another class and the class is disjoint from the other class, then the function and the other function are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 433-438	If the values returned by a function are subclasses of a kind of class and the values returned by another function are subclasses of another kind of class and a kind of class is disjoint from another kind of class, then the function and the other function are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 394-400	If a class is disjoint from another class, then there doesn't exist an entity such that the entity is an instance of the class and the entity is an instance of the other class

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2966-2971	If a class is disjointly decomposed into another class, a third class, and a fourth class, then the other class is disjoint from the third class and the third class is disjoint from the fourth class and the fourth class is disjoint from the other class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2955-2964	If a class is disjointly decomposed into @ROW, then for all a third class and a fourth class if the third class is a member of (@ROW) and the fourth class is a member of (@ROW) and the third class is not equal to the fourth class, then the third class is disjoint from the fourth class

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 974-974	Above the line is disjoint from below the line
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8890-8890	Afternoon is disjoint from evening
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 360-360	Alt key is disjoint from control key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 362-362	Alt key is disjoint from function key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 361-361	Alt key is disjoint from shift key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1313-1313	Alt key hold down is disjoint from control key hold down
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1312-1312	Alt key hold down is disjoint from shift key hold down
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9419-9419	Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20695-20695	Ante meridiem is disjoint from post meridiem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8117-8117	Apartment building is disjoint from single family residence
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 295-295	Arrow key is disjoint from enter key
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16067-16067	Article is disjoint from book
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 172-172	Artillery cannon is disjoint from military tank
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6352-6352	Asphalt is disjoint from fossil fuel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14161-14161	Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12483-12483	Attaching is disjoint from detaching
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1656-1656	Audio input is disjoint from joystick motion
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1657-1657	Audio input is disjoint from keyboard action
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1655-1655	Audio input is disjoint from touch surface action
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10289-10289	Autonomic process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17128-17128	Barn is disjoint from residential building
No TPTP formula. May not be expressible in strict first order.	Sports.kif 752-752	Baseball steal is disjoint from baseball hit
No TPTP formula. May not be expressible in strict first order.	Sports.kif 751-751	Baseball steal is disjoint from baseball walk
No TPTP formula. May not be expressible in strict first order.	Sports.kif 760-760	Baseball strike is disjoint from baseball hit
No TPTP formula. May not be expressible in strict first order.	Sports.kif 708-708	Baseball walk is disjoint from baseball hit

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: