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. 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 395-395 不相交的, 1 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 396-396 不相交的, 2 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 393-393 不相交的 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 394-394 不相交的 and SymmetricRelation

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 569-569 相關的內部概念 不相交分解 and 不相交的
No TPTP formula. May not be expressible in strict first order. Merge.kif 414-414 相關的內部概念 不相交的關係 and 不相交的
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 19848-19848
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19847-19847
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. terms-de.txt 115-115
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 167-167

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 2968-2973
No TPTP formula. May not be expressible in strict first order. Merge.kif 2957-2966

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 974-974 不相交的 在線以上 and 在線下面
No TPTP formula. May not be expressible in strict first order. Merge.kif 8792-8792 不相交的 下午 and Evening
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 360-360 不相交的 AltKey and ControlKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 362-362 不相交的 AltKey and FunctionKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 361-361 不相交的 AltKey and ShiftKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1313-1313 不相交的 AltKeyHoldDown and ControlKeyHoldDown
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1312-1312 不相交的 AltKeyHoldDown and ShiftKeyHoldDown
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8233-8233 不相交的 無氧運動裝置 and 有氧運動裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19107-19107 不相交的 午前 and 發布meridiem
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6937-6937 不相交的 公寓樓 and 單身家庭住所
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 295-295 不相交的 ArrowKey and EnterKey
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14678-14678 不相交的 Article and Book
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 172-172 不相交的 火砲 and 軍用坦克
No TPTP formula. May not be expressible in strict first order. Economy.kif 5954-5954 不相交的 瀝青 and 化石燃料
No TPTP formula. May not be expressible in strict first order. Merge.kif 14023-14023 不相交的 AstronomicalBody and GeographicArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 12348-12348 不相交的 Attaching and Detaching
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1656-1656 不相交的 AudioInput and JoystickMotion
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1657-1657 不相交的 AudioInput and KeyboardAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1655-1655 不相交的 AudioInput and TouchSurfaceAction
No TPTP formula. May not be expressible in strict first order. Merge.kif 10164-10164 不相交的 自主過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15737-15737 不相交的 穀倉 and 住宅樓
No TPTP formula. May not be expressible in strict first order. Sports.kif 740-740 不相交的 棒球偷 and 棒球擊中
No TPTP formula. May not be expressible in strict first order. Sports.kif 739-739 不相交的 棒球偷 and 棒球步行
No TPTP formula. May not be expressible in strict first order. Sports.kif 748-748 不相交的 棒球罷工 and 棒球擊中
No TPTP formula. May not be expressible in strict first order. Sports.kif 696-696 不相交的 棒球步行 and 棒球擊中

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