Birth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Birth

Birth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2904-2904
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10214-10214
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1653-1653
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5883-5883
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10212-10212	子類 Birth and OrganismProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24007-24007	子類 Birth and Removing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24042-24042	相關的內部概念生物學概念 and Birth
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1076-1076
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1363-1363
No TPTP formula. May not be expressible in strict first order.	french_format.kif 754-754
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 286-286
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 289-289
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2438-2438
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 706-706
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 291-291
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 325-325
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 775-775
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 290-290

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18225-18231	持有期間 TimeInterval and attribute AutonomousAgent and 胚胎例 Process and Birth 等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18203-18209	持有期間 TimeInterval and attribute AutonomousAgent and 幼蟲例 Process and Birth 等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24018-24027	例 Process and Birth 起源 Process and Object Entity TimeInterval 例 Entity and Zygote 早期 TimeInterval and 何時 Process 持有期間 TimeInterval and 位於 Entity and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10219-10226	例 Process and Birth 體驗者 Process and AutonomousAgent Process 例 Process and Death 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Biography.kif 250-264	例內容承載物理 and 出生證明例 Process and Birth 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and entity entity and entity entity 是 AutonomousAgent 的 birthdate 例 entity and Day entity 是 AutonomousAgent 的 birthplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24009-24016	例 Transfer and Birth Object TransferABY attribute Object and 女起源 Transfer and Object objectTransferred Transfer and TransferABY attribute TransferABY and 沒有完全形成

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 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.	Mid-level-ontology.kif 24269-24275	Day 是 Human 的 birthdate Process 例 Process and Birth 體驗者 Process and Human 日期 Process and Day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24255-24261	Object 是 Animal 的 birthplace Process 例 Process and Birth 體驗者 Process and Animal Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7501-7511	例 Collection and 窩 TimeInterval AutonomousAgent 會員 AutonomousAgent and Collection Process 例 Process and Birth 體驗者 Process and AutonomousAgent 等於 TimeInterval and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5030-5036	例 Physical and 巢有目的 Physical and entity 例 entity and Birth entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14383-14388	例 AutonomousAgent and Organism Process 例 Process and Birth 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Biography.kif 240-248	例 Physical and 出生證明有目的 Physical and entity entity 例 entity and Birth 例 entity and Human 體驗者 entity and entity 代表 Physical and entity

statement

No TPTP formula. May not be expressible in strict first order.

People.kif 456-469

例年 and 年 Integer 等於 GeopoliticalArea 和年每個女人生的 children and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女持有期間年 and 棲息 entity and GeopoliticalArea

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