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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - disjoint
disjoint

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 397-399
No TPTP formula. May not be expressible in strict first order. Merge.kif 395-395 The number 1 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 396-396 The number 2 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 393-393 disjoint is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 394-394 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. Merge.kif 569-569 disjoint decomposition is internally related to disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 414-414 disjoint relation is internally related to disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 286-286
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19834-19834
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19833-19833
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19832-19832

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 419-424
No TPTP formula. May not be expressible in strict first order. Merge.kif 426-431
No TPTP formula. May not be expressible in strict first order. Merge.kif 433-438
No TPTP formula. May not be expressible in strict first order. Merge.kif 440-445
No TPTP formula. May not be expressible in strict first order. Merge.kif 401-407

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2945-2950
No TPTP formula. May not be expressible in strict first order. Merge.kif 2934-2943

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 8757-8757 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 8193-8193 Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18889-18889 Ante meridiem is disjoint from post meridiem
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6897-6897 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 14525-14525 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 5003-5003 Asphalt is disjoint from fossil fuel
No TPTP formula. May not be expressible in strict first order. Merge.kif 13882-13882 Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Merge.kif 12207-12207 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 10116-10116 Autonomic process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15584-15584 Barn is disjoint from residential building
No TPTP formula. May not be expressible in strict first order. Sports.kif 739-739 Baseball steal is disjoint from baseball hit
No TPTP formula. May not be expressible in strict first order. Sports.kif 738-738 Baseball steal is disjoint from baseball walk
No TPTP formula. May not be expressible in strict first order. Sports.kif 747-747 Baseball strike is disjoint from baseball hit
No TPTP formula. May not be expressible in strict first order. Sports.kif 695-695 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