TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3634-3635
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16064-16066
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11412-11412
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16063-16063	子類 Machine and Device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3711-3711	不相交的家具 and Machine
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1784-1784	Machine 是機械製造業的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2051-2051	子類 AirConditioningCondenser and Machine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2075-2075	子類 AirConditioningEvaporator and Machine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5176-5176	子類 GasCompressor and Machine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1190-1190	子類 Generator and Machine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25510-25510	子類 IceMachine and Machine
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5986-5986	子類車床 and Machine
No TPTP formula. May not be expressible in strict first order.	engineering.kif 742-742	子類發動機 and Machine
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6013-6013	子類刨床 and Machine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1954-1954	子類售貨機 and Machine
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1060-1060
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1331-1331
No TPTP formula. May not be expressible in strict first order.	french_format.kif 738-738
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 269-269
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 272-272
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2422-2422
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 690-690
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 274-274
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 308-308
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 759-759
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 273-273

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16095-16103	例 Object and Machine Object Object 例 Object and EngineeringComponent 例 Object and EngineeringComponent 等於 Object and Object 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16068-16076	例 Object and Machine Process 儀器 Process and Object Object Entity 資源 Process and Object 結果 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1439-1444	例 Object and ComputerLanguage agent Process and AutonomousAgent 儀器 Process and Object 例 AutonomousAgent and Machine
No TPTP formula. May not be expressible in strict first order.	naics.kif 5126-5150	例 Collection and Organization attribute Collection and 計算機和電子產品製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and 電腦例 Entity and Machine AutonomousAgent Object 患者 AutonomousAgent and Entity 資源 AutonomousAgent and Object 例 Object and 電力患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 5421-5443	例 Collection and Organization attribute Collection and 電氣設備器具和元件製造 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and Machine AutonomousAgent Object 患者 AutonomousAgent and Entity 資源 AutonomousAgent and Object 例 Object and 電力患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 4644-4660	例 Collection and Organization attribute Collection and 機械製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and Machine 患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29458-29460	attribute Object and CoinOperated 例 Object and Machine

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: