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 396-398
No TPTP formula. May not be expressible in strict first order. Merge.kif 394-394 The number 1 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 395-395 The number 2 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 392-392 disjoint is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 393-393 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 569-569 disjoint decomposition is internally related to disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 413-413 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 19846-19846
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19845-19845
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19844-19844

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 418-423
No TPTP formula. May not be expressible in strict first order. Merge.kif 425-430
No TPTP formula. May not be expressible in strict first order. Merge.kif 432-437
No TPTP formula. May not be expressible in strict first order. Merge.kif 439-444
No TPTP formula. May not be expressible in strict first order. Merge.kif 400-406

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2861-2866
No TPTP formula. May not be expressible in strict first order. Merge.kif 2850-2859

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 8281-8281 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 13037-13037 Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Merge.kif 11508-11508 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 9612-9612 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