hasPurpose - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2091-2096
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3945-3955
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 739-746
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3942-3942	域有目的, 1 and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3943-3943	域有目的, 2 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3941-3941	例有目的 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3940-3940	例有目的 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 115-115
No TPTP formula. May not be expressible in strict first order.	english_format.kif 115-115
No TPTP formula. May not be expressible in strict first order.	french_format.kif 79-79
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 124-124
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1906-1906
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 31-31
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 120-120
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 133-133
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 164-164
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 98-98
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 78-78
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 254-254
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 116-116
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27574-27574
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27573-27573
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27572-27572
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 39-39
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 255-255

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31172-31184	attribute Object and Collectible 有目的 Object and Formula CognitiveAgent Formula 例 CognitiveAgent and Human 想要 CognitiveAgent and Object 慾望 CognitiveAgent and Formula 意味 Formula and 擁有 CognitiveAgent and Object 等於 Formula and Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31123-31128	attribute Object and DeviceDamaged 有目的 Object and Formula 模態屬性 Formula and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31096-31100	attribute Object and DeviceNormal 有目的 Object and Formula 模態屬性 Formula and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2313-2317	attribute Object and 功能有目的 Object and Formula 真相 Formula and 真正
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2323-2327	attribute Object and 故障有目的 Object and Formula 真相 Formula and 假
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18380-18388	持有期間 TimePosition and attribute Object and DeadOrMissingBodyPartFn Class 例 ClassI and Class 部分 ClassI and Object 有目的 ClassI and Formula Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18359-18369	持有期間 TimePosition and attribute Object and ImpairedBodyPartFn Class 例 ClassI and Class 部分 ClassI and Object 有目的 ClassI and Formula 模態屬性 Formula and 容易
No TPTP formula. May not be expressible in strict first order.	Government.kif 2324-2331	例 CognitiveAgent and 政治壓力集團有目的 CognitiveAgent and Formula GeographicArea 是 agent 運作在 CognitiveAgent 地區例 GeographicArea and Nation 慾望 CognitiveAgent and 相信政府 GeographicArea and Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19475-19480	例 Process and 安裝患者 Process and Physical 有目的 Physical and Formula 持有期間結束何時 Process and 真相 Formula and 真正
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 908-915	過程失敗是電腦程序的 status 有目的電腦程序 and Formula 持有期間不久的過去何時電腦程序 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3970-3973	有目的 Physical and Formula AutonomousAgent 有代理人的目的 Physical, Formula and AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 408-419	attribute Object and DemoRecording 例 Object and Recording 有目的 Object and entity entity and ObjectUSIC 例 entity and 示範 Object 是個 ObjectUSIC 的 record 患者 entity and ObjectUSIC 目的地 entity and entity 例 entity and 一群人
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4530-4539	attribute Object and 農産品例 Object and FruitOrVegetable 有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and food for Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22225-22247	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and food for Human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	工程子組件 EngineeringComponent and 互聯網工程子組件 EngineeringComponent and 互聯網等於 EngineeringComponent and EngineeringComponent 有目的互聯網 and entity 例 entity and Communication agent entity and EngineeringComponent 目的地 entity and EngineeringComponent 儀器 entity and 互聯網
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1922-1938	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 1990-1999	例 Physical and 蘋果app 商店 Physical 是電腦程序的執行 program 電腦程序是 running 在電腦有目的 Physical and entity 例 entity and 下載起源 entity and 電腦
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	例 Object and 盔甲部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Maintaining 儀器 entity and Object 體驗者 entity and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	例 Object and 盔甲部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Damaging 儀器 entity and Object 體驗者 entity and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6319-6327	例 Attribute and MedicalPerson attribute Object and Attribute 有目的 Object and entity 例 entity and TherapeuticProcess agent entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23406-23418	例 Process and 伏擊 agent Process and AutonomousAgent Process 例 Process and 隱瞞子過程 Process and Process 有目的 Process and entity 例 entity and 攻擊 agent entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2003-2012	例 Physical and 壅部分位於 Physical and Object 有目的 Physical and entity 例 entity and 易位路徑 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3885-3895	例 Object and 車輛制動器例 Object and 車輛部分 Object and Object 有目的 Object and entity 例 entity and Motion 的 stop 患者 entity and Object 儀器 entity and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	例 Object and BrakePedal 例 Process and Pushing 例 Object and 車輛目的地 Process and Object Process 是 located 在 Object 部分 Object and Object 有目的 Object and entity entity 例 entity and WearingFrictionSurface 例 entity and 摩擦儀器 entity and entity 原因 Process and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1667-1675	例 Object and Cam 例 ObjectS and Camshaft 例 Object and 發動機部分 Object and Object 部分 ObjectS and Object 有目的 ObjectS and 連接的工程組件 Object and ObjectS
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1748-1768	例 Physical and Cavitating 例 SelfConnectedObject and 泵 attribute SelfConnectedObject and 設備上 attribute Object and 液體包含 SelfConnectedObject and Object SelfConnectedObjectP entity 部分 SelfConnectedObjectP and SelfConnectedObject 有目的 SelfConnectedObjectP and attribute entity and 液體空間的符合 entity and SelfConnectedObjectP 持有期間何時 Physical and entity attribute entity and 液體空間的符合 SelfConnectedObjectP and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6452-6461	例 Process and 隱瞞患者 Process and Entity 有目的 Process and entity 例 entity and Seeing 患者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7019-7038	例 Process and Coughing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entity and entity 例 entity and 肺例 entity and 喉例 entity and Object 例 entity and Removing 部分 entity and AutonomousAgent 部分 entity and AutonomousAgent objectTransferred entity and entity 持有期間不久的過去何時 Process and 位於 entity and entity 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	例 Object and Crankshaft 例 Object and IntermittentCombustionEngine 部分 Object and Object 有目的 Object and entity entity 例 entity and 爆炸例 entity and 旋轉患者 entity and Object entity 是 located 在 Object 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 755-773	例 Process and Cricothyroidotomy 患者 Process and Entity 有目的 Process and 持有期間不久的過去何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity 持有期間眼前的未來何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7085-7103	例 Process and Sneezing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entityOSE and entity 例 entity and NasalCavity 例 entityOSE and 鼻子等於 entityOSE and 洞主持人 entity 例 entity and Object 例 entity and Removing 部分 entityOSE and AutonomousAgent objectTransferred entity and entity 持有期間不久的過去何時 Process and 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1475-1486	例 Organization and 政府內閣子組織 Organization and 政府 GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea 有目的 Organization and entity entity 例 entity and Stating agent entity and Organization 患者 entity and entity 政府 GeopoliticalArea 是 entity 的 leader
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1478-1488	例 Process and 反擴散 agent Process and AutonomousAgent AutonomousAgent Process enemy AutonomousAgent and AutonomousAgent agent Process and AutonomousAgent 例 Process and 增殖作用有目的 Process and 防止 Process and 增殖作用
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 443-456	例 Process and 躲著 agent Process and AutonomousAgent 等於 ProcessT and 何時 Process 有目的 Process and entity 短暫相遇 ProcessT and 何時 entity 暫時重疊 ProcessT and 何時 entity 例 entity and Impacting 患者 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 420-431	例 Process and 調味料例 Physical and oqal 例 Entity and 帽子患者 Process and Physical 患者 Process and Entity 有目的 Physical and entity 例 entity and Attaching 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 618-630	例 Process and 精確破壞患者 Process and Entity 有目的 Process and entity entity 例 entity and Damaging 子過程 entity and Process 患者 entity and entity 等於 Entity 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.

ComputingBrands.kif 3309-3315

有目的 iBookstore and ?D 例 ?D and 下載儀器 ?D and iBookstore 例 ?T and Text objectTransferred ?D and ?T

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: