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 set or 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 set or 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 293-293
No TPTP formula. May not be expressible in strict first order. Merge.kif 570-570 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 19780-19780
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19779-19779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19778-19778

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 2862-2867
No TPTP formula. May not be expressible in strict first order. Merge.kif 2851-2860

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 973-973 Above the line is disjoint from below the line
No TPTP formula. May not be expressible in strict first order. Merge.kif 8266-8266 Afternoon is disjoint from Evening
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 382-382 AltKey is disjoint from ControlKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 384-384 AltKey is disjoint from FunctionKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 383-383 AltKey is disjoint from ShiftKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1340-1340 AltKeyHoldDown is disjoint from ControlKeyHoldDown
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1339-1339 AltKeyHoldDown is disjoint from ShiftKeyHoldDown
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7889-7889 Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16922-16922 Ante meridiem is disjoint from post meridiem
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6589-6589 Apartment building is disjoint from single family residence
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 317-317 ArrowKey is disjoint from EnterKey
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12449-12449 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 4839-4839 Asphalt is disjoint from fossil fuel
No TPTP formula. May not be expressible in strict first order. Merge.kif 13022-13022 Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Merge.kif 11493-11493 Attaching is disjoint from detaching
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1671-1671 AudioInput is disjoint from JoystickMotion
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1672-1672 AudioInput is disjoint from KeyboardAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1670-1670 AudioInput is disjoint from TouchSurfaceAction
No TPTP formula. May not be expressible in strict first order. Merge.kif 9597-9597 Autonomic process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13415-13415 Barn is disjoint from residential building
No TPTP formula. May not be expressible in strict first order. Sports.kif 626-626 Baseball steal is disjoint from baseball hit
No TPTP formula. May not be expressible in strict first order. Sports.kif 625-625 Baseball steal is disjoint from baseball walk
No TPTP formula. May not be expressible in strict first order. Sports.kif 634-634 Baseball strike is disjoint from baseball hit
No TPTP formula. May not be expressible in strict first order. Sports.kif 582-582 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