part - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1570-1572
No TPTP formula. May not be expressible in strict first order.	Merge.kif 913-917
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 143-146
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 168-171
No TPTP formula. May not be expressible in strict first order.	Merge.kif 910-910	域部分, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 911-911	域部分, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 909-909	例部分 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 908-908	例部分 and PartialOrderingRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 907-907	例部分 and SpatialRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1013-1013	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 161-161	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	english_format.kif 162-162	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	french_format.kif 100-100	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 210-210	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1929-1929	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 52-52	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 64-64	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 197-197	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 248-248	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 119-119	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 101-101	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 402-402	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25362-25362	相關的內部概念初始部分 and 部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25390-25390	相關的內部概念最初包含部分 and 部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25416-25416	相關的內部概念 partTypes and 部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25284-25284	相關的內部概念典型的部分 and 部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25321-25321	相關的內部概念通常包含部分 and 部分
No TPTP formula. May not be expressible in strict first order.	Merge.kif 960-960	子關係零件 and 部分
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 34-34	子關係病毒的遺傳基質 and 部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14521-14521	子關係半 and 部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26057-26057	子關係 inString and 部分
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9813-9813	子關係內飾部分 and 部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14570-14570	子關係最 and 部分

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7510-7521	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 例 Object0 and CoarseParticulateMatter 部分 Object0 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7539-7549	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 例 Object5 and FineParticulateMatter 部分 Object5 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7632-7647	amount Substance, CorpuscularObject and 測量 RealNumber and UnitOfMass 例 SubstanceI and Substance 測量 SubstanceI and 測量 RealNumber and UnitOfMass 部分 SubstanceI and CorpuscularObject List 在列表中測量 RealNumber and UnitOfMass and List 等於 List and AmountsFn Substance, CorpuscularObject and UnitOfMass 等於 RealNumber and ListSumFn List
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12034-12045	antagonistMuscles Muscle and Muscle 例 Motion and Extension 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Animal 能力 Flexion, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12021-12032	antagonistMuscles Muscle and Muscle 例 Motion and Flexion 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Animal 能力 Extension, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1742-1747	attribute Object and 平坦的地形部分 LandArea and Object NonnegativeRealNumber 是 LandArea 的 slope 梯度比較多 0.005 and NonnegativeRealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1754-1759	attribute Object and 低地形部分 LandArea and Object NonnegativeRealNumber 是 LandArea 的 slope 梯度比較多 0.03 and NonnegativeRealNumber
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 女測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 13
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	attribute SelfConnectedObject and 凹表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 部分 Object and SelfConnectedObject 等於 Object and Object 和 Object 之間線路等於 Object and Object 部分 Object and Object 方位 Object, SelfConnectedObject and 外
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	attribute SelfConnectedObject and 凸表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 部分 Object and SelfConnectedObject 等於 Object and Object 和 Object 之間線路等於 Object and Object 部分 Object and Object 方位 Object, SelfConnectedObject and 內
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21031-21041	attribute Object and 強調例 Object and Word 部分 Object and Object Object 例 Object and 音節部分 Object and Object attribute Object and 強調等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9838-9843	底部 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 連接的 Object and SelfConnectedObject 方位 Object, SelfConnectedObject and 以上
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 709-717	chromosomeNumber 真核細胞 and Integer 部分 Object and 真核細胞例 Object and 細胞核例真核細胞OLL and Collection 位於真核細胞OLL and Object Chromosome 是真核細胞OLL 的 member 類別 Integer 是真核細胞OLL 的 member 計數
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	concentration 測量 RealNumber and UnitOfMeasure, Substance, 測量 RealNumber and UnitOfMeasure and Mixture 例 SubstanceI and Substance 部分 SubstanceI and Mixture 測量 SubstanceI and 測量 RealNumber and UnitOfMeasure 部分 SubstanceI and Mixture 例 SubstanceI2 and Substance 等於 SubstanceI and SubstanceIE2 部分 SubstanceI2 and Mixture 測量 Mixture and 測量 RealNumber and UnitOfMeasure approximateValue RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 514-518	連接的 Object and Object 部分 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1550	cylinderBore HoleRegion and LengthMeasure 例 HoleRegion and HoleRegion HoleRegion 是圓筒部分 Object and HoleRegion 例 Object and Region Object 是圈等於圈 and 圈直徑圈 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2569-2587	engineIdleSpeed 內燃機 and RotationFn 測量 RealNumber and MilesPerHour and TimeDuration 例 Object and 汽車例 Process and GasPedal 例 Process and Pushing 目的地 Process and Object 部分內燃機 and Object 部分 Object and Object 例 Object and Crankshaft 部分 Object and 內燃機持有期間何時 Process and 測量 Object and RotationFn 測量 entity and MilesPerHour and TimeDuration 模態屬性比較多 entity and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1962-1978	ennervates Nerve and Muscle 例 Object and Nerve 例 Object and Muscle 部分 Object and Object 部分 Object and Object attribute Object and Healthy 例 Object and Human 有目的 Object and ObjectF entity 例 ObjectF and NerveFiring 儀器 ObjectF and Object 例 Muscle and MuscleContraction 儀器 ObjectV and Object 原因 ObjectF and Muscle
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2636-2644	等於 Object and Object 和 Object 之間線路部分 Object and Object 部分 Object and Object 等於 Object and Object 等於 Object and Object 和 Object 之間線路部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 800-809	haploidNumber Gamete and Integer 例 Gamete and Gamete 部分 Object and Gamete 例 Object and 細胞核例 Collection and Collection 位於 Collection and Object Chromosome 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1873-1895	持有期間 TimePosition and attribute Object and LateralRecumbant 方位 Object, Object and 上例 Object and LeftArm 部分 Object and Object 例 Object and RightArm 部分 Object and Object 例 Object and LeftLeg 部分 Object and Object 例 Object and RightLeg 部分 Object and Object 空間的符合 Object and Object 空間的符合 Object and Object 持有期間 TimePosition and 空間的符合 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1897-1919	持有期間 TimePosition and attribute Object and LateralRecumbant 方位 Object, Object and 上例 Object and LeftArm 部分 Object and Object 例 Object and RightArm 部分 Object and Object 例 Object and LeftLeg 部分 Object and Object 例 Object and RightLeg 部分 Object and Object 空間的符合 Object and Object 空間的符合 Object and Object 持有期間 TimePosition and 空間的符合 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1834-1842	持有期間 TimePosition and attribute Object and Prone 方位 Object, Object and 上例 Object and Chest 部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18419-18427	持有期間 TimePosition and attribute Object and DeadOrMissingBodyPartFn Class 例 ClassI and Class 部分 ClassI and Object 有目的 ClassI and Formula Formula

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12605-12612	例 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間開始何時 Process and 部分 Object and Entity 持有期間結束何時 Process and 部分 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7510-7521	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 例 Object0 and CoarseParticulateMatter 部分 Object0 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7539-7549	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 例 Object5 and FineParticulateMatter 部分 Object5 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13031-13038	例 Object and Bone Object 例 Object and 骨架例 Object and 外骨骼部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1349-1359	GeographicArea 是對於 NonnegativeInteger 在地區延期機場有著鋪設跑道的 total 設施類別 SymbolicString entity NonnegativeInteger 是卡帕 SymbolicString and 例 SymbolicString and 飛機場例 entity and 鋪好的跑道部分 entity and SymbolicString 位於 SymbolicString and GeographicArea 的 cardinality
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	用戶帳號是在 WebSite 的 account Object WebSite_OWNER 例 Object and 數據庫例 WebSite_OWNER and AutonomousAgent 擁有 WebSite_OWNER and WebSite 擁有 WebSite_OWNER and Object 部分用戶帳號 and Object
No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	Image 是在 Album 的 image 例 Object and Album 在 DataStorageDevice 的 set 複製包含 SelfConnectedObject and Object 模態屬性部分 Image and 面前 SelfConnectedObject and 容易
No TPTP formula. May not be expressible in strict first order.	Music.kif 428-438	attribute Object and MashupRecording 例 Object and Recording Object Object, Music and Music Object 是 Music 的 recording Object 是 Music 的 recording 等於 Music and Music 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21031-21041	attribute Object and 強調例 Object and Word 部分 Object and Object Object 例 Object and 音節部分 Object and Object attribute Object and 強調等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4540-4557	attribute Object and 幾何圖例 Object and FourPosterBed 例幾何圖 and 四邊形圖的一面一維圖 and 幾何圖圖的一面一維圖 and 幾何圖等於一維圖 and 一維圖 Object Object, 幾何點 and Object 部分 Object and Object 例 Object and 地板方位 Object, Object and 上方位 Object, Object and 垂直一維圖是對於幾何點的交接點一維圖 attribute Object and 幾何點空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1215-1224	attribute Object and Attribute 例 Attribute and HotelLevelAttribute 例 Object and 建設水平 Object 例 Object and HotelBuilding 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1946-1957	attribute AutonomousAgent and 旅客住宿能力 RoomCleaningService, agent and AutonomousAgent CognitiveAgent Object 採用 AutonomousAgent and CognitiveAgent attribute CognitiveAgent and 女傭例 Object and HotelUnit 部分 Object and 屬性 AutonomousAgent 能力 RoomCleaningService, 患者 and Object 能力 RoomCleaningService, 服務提供者 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	能力 Process, CaseRole and Object 子類 Process and Shooting Object 例 Object and Weapon 部分 Object and Object 能力 Process, CaseRole and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13316-13326	connectedBodyPart BodyPart and BodyPart attribute Object and Healthy BodyPartI BodyPartI 例 BodyPartI and BodyPart 例 BodyPartI and BodyPart 部分 BodyPartI and Object 部分 BodyPartI and Object 連接的 BodyPartI and BodyPartI
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	connectedBodyPartTypes BodyPart, BodyPart and Organism 例 OrganismC and Organism attribute Object and DiseaseOrSyndrome Object Object 例 Object and BodyPart 例 Object and BodyPart 等於 Object and Object 部分 Object and OrganismC 部分 Object and OrganismC 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1135-1148	元件 Object and 屬性 Organization attribute Object and AnnexRoom 例 Object and HotelRoom Object Object and Organization 子組織 Organization and Organization 例 Organization and HotelFrontDesk 位於 Organization and Object 元件 Object and 屬性 Organization 元件 Object and 屬性 Organization 部分 Object and Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2636-2644	等於 Object and Object 和 Object 之間線路部分 Object and Object 部分 Object and Object 等於 Object and Object 等於 Object and Object 和 Object 之間線路部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5608-5617	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Object Object Object 例 Object and 一個 dead OrganicObject 部分 Object and Object 例 Object and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7313-7320	體驗者 Process and AutonomousAgent 例 AutonomousAgent and PainFn BodyPart BodyPartART 部分 BodyPartART and Process 位於 BodyPartART and BodyPart
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2551-2567	持有期間 TimePosition and 測量 Object and FunctionQuantity engineIdleSpeed 內燃機 and FunctionQuantity 例 Object and 汽車部分內燃機 and Object 部分 Object and 內燃機模態屬性 entity entity 期間 entity and TimePosition 例 entity and Pushing 目的地 entity and entity 部分 entity and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10017-10024	hole HoleRegion and SelfConnectedObject hole HoleRegion and SelfConnectedObject HoleRegion 部分 HoleRegion and mereological 總和 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25375-25384	%每個 Object 是 Object 的 initially part 例 Physical and Object Entity 例 Entity and Object 持有期間開始何時 Physical and 部分 Physical and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25402-25410	Object 的例子總是 Object 的 initially part 的例子例 Physical and Object Entity 例 Entity and Object 持有期間開始何時 Physical and 部分 Entity and Physical
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6254-6263	例 Object and BodyAreaFn BodyPart 例 Object and Animal 部分 Object and Object Object 例 Object and BodyPart 方位 Object, Object and 近部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6274-6292	例 Process and Amputating 患者 Process and Entity 例 Object and 肢 Object Object 部分 Object and Object 部分 Object and Object 例 Object and Bone 持有期間不久的過去何時 Process and 部分 Object and Entity 持有期間不久的過去何時 Process and 部分 Object and Entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1171-1171	部分 Virus 和病毒部分的 viral 部分 and Virus
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 711-711	部分美國佐治亞州亞特蘭大 and 格魯吉亞
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 662-662	部分澳大利亞 and 大洋洲
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 714-714	部分巴爾的摩馬里蘭州 and 馬里蘭
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 724-724	部分馬薩諸塞州波士頓 and 馬薩諸塞
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1611-1611	部分芝加哥美國 and 伊利諾伊
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 854-854	部分克利夫蘭俄亥俄州 and 俄亥俄州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 915-915	部分康涅狄格 and 新英格蘭
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 851-851	部分達拉斯得克薩斯 and 德州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 841-841	部分底特律密執安 and 密歇根州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 835-835	部分法戈北達科他州 and 北達科他州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1242-1242	部分德國 and 歐洲
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1245-1245	部分希臘 and 歐洲
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 828-828	部分休斯敦，德克薩斯州 and 德州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 832-832	部分哈德遜河 and 紐約州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 728-728	部分堪薩斯城密蘇里州 and 密蘇里州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 820-820	部分朝鮮半島 and 亞洲
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 805-805	部分長島 and 紐約州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 810-810	部分洛杉磯加利福尼亞州 and 加州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 731-731	部分曼徹斯特新罕布什爾州 and 新罕布什爾
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 989-989	部分馬薩諸塞 and 新英格蘭
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 733-733	部分孟菲斯田納西州 and 田納西
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 737-737	部分明尼阿波利斯明尼蘇達州 and 明尼蘇達
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 740-740	部分密西西比河 and 美國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 746-746	部分蒙特利爾加拿大 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

KB Term:			Term intersection

English Word: