LongAndThin - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LongAndThin

LongAndThin(又長又瘦)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2863-2865
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11368-11368
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11367-11367
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11365-11365
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11374-11374
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11370-11370
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11366-11366
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10101-10101
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11373-11373
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11371-11371
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11369-11369
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11364-11364
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2867-2867	例又長又瘦 and ShapeAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35007-35007
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35006-35006
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35005-35005

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4348-4360	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Object 部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4362-4375	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Process 例 Process and 旋轉患者 Process and Object 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17986-17996	例 Object and Object attribute Object and 又長又瘦例 Object and Object attribute Object and 又長又瘦連接的 Object and Object 等於 Object and Object RealNumber relativeAngle Object, Object and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2869-2882	attribute SelfConnectedObject and 又長又瘦 SelfConnectedObject SelfConnectedObject, RealNumber, RealNumber, RealNumber and UnitOfMeasure 側 SelfConnectedObject and SelfConnectedObject 側 SelfConnectedObject and SelfConnectedObject 空間的符合 SelfConnectedObject and SelfConnectedObject 等於 SelfConnectedObject and SelfConnectedObject 例 UnitOfMeasure and UnitOfLength length SelfConnectedObject and 測量 RealNumber and UnitOfMeasure length SelfConnectedObject and 測量 RealNumber and UnitOfMeasure length SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 少於 RealNumber and 乘法 3.0 and RealNumber 少於 RealNumber and 乘法 3.0 and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Military.kif 183-202	例 Process and 旋轉患者 Process and Object 例 Object and ContinuousTrack Collection Collection, Object and Process 例 Collection and Collection 會員 Collection and Collection 例 Collection and 輪 Integer 是 Collection 的 member 計數比較多 Integer and 2 部分 Collection and Object 部分 Object and Object 例 Object and CorpuscularObject Object 是又長又瘦 attribute Object and 易彎的位於 Collection and Object 例 Process and 旋轉原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2622-2630	例 Object and Pasta Object 例 Object and Pasta 部分 Object and Object attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Food.kif 3464-3472	例 Object and Spaghetti Object 例 Object and Spaghetti 部分 Object and Object attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2929-2931	例 Object and 指揮棒 attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Cars.kif 898-900	例 Object and LeafSpring attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4187-4189	例 Object and Rod attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10477-10481	例 Object and PlantSpinoseStructure attribute Object and 又長又瘦 attribute Object and 硬性
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4336-4346	例 Physical and 捲軸有目的 Physical and entity entity 例 entity and Keeping 例 entity and CorpuscularObject attribute entity and 又長又瘦 attribute entity and 易彎的儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1255-1257	physicalEnd Object and Object attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1259-1262	physicalEnd Object and Object attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18047-18049	physicalEnd Object and Object attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17998-18007	relativeAngle Object, Object and RealNumber 例 Object and Object attribute Object and 又長又瘦例 Object and Object attribute Object and 又長又瘦連接的 Object and Object 等於 Object and Object

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