WhereFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WhereFn

WhereFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2131-2132
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4227-4229
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 786-787
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4222-4222	域哪裡, 1 and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4223-4223	域哪裡, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4219-4219	例哪裡 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4220-4220	例哪裡 and SpatialRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4221-4221	例哪裡 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4224-4224	範圍哪裡 and Region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4225-4225	相關的內部概念哪裡 and 何時

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order.	english_format.kif 278-278
No TPTP formula. May not be expressible in strict first order.	french_format.kif 155-155
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 315-315
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1983-1983
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 107-107
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 162-162
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 353-353
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 58-58
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 174-174
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 161-161
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 507-507
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62991-62991
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 274-274
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62990-62990
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62989-62989
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 113-113

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1753-1773	例音調 and 音調音調的 frequency 是測量 RealNumber and 赫茲 loudness 音調 and 測量 RealNumber and Decibel 位於音調 and 哪裡 Human and 開始何時音調比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber 比較多 RealNumber and 250 比較多 8000 and RealNumber 例 Human and Human 例 Process and 聽 agent Process and Human hearingAcuity Human, 測量 RealNumber and Decibel and 測量 RealNumber and Decibel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4231-4235	等於哪裡 Physical and TimePoint and Region 持有期間 TimePoint and 完全定位 Physical and Region

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 births and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千裡的 deaths and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 年齡 entity and 測量 entity and 年持續時間少於 entity and 1 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 entityDEATHCOUNT and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	例年 and 年 Integer 等於 GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	例年 and 年 Integer 等於 GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2516-2530	例 Process and 疏散起源 Process and GeographicArea agent Process and CognitiveAgent Process 例 Process and Process GeographicArea 是哪裡 Process and 開始何時 Process 的 geographic 次要地區原因 Process and Process 相信 CognitiveAgent and attribute Process and 危險
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9601-9607	例 Entity and CaseRole 例 Object and Object Entity Physical and Object TimePoint 在空間上重疊哪裡 Physical and TimePoint and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4237-4241	持有期間 TimePoint and 完全定位 Physical and Region 等於哪裡 Physical and TimePoint and Region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12397-12406	例 Physical and Inflammation Transfer Object 例 Transfer and 易位例 Object and 白細胞 objectTransferred Transfer and Object 目的地 Transfer and 哪裡 Physical and 何時 Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7988-7996	起源 Process and Object 哪裡 Process and 開始何時 Process 是 located 在哪裡 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