TreeView Knowledge Base Browser - Female

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Female

Female(女)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4018-4018
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18114-18115
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18113-18113	例女 and SexAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18125-18125	相反的屬性男 and 女
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18105-18105	女是所有的 SexAttribute 的 attributes
No TPTP formula. May not be expressible in strict first order.	Government.kif 1412-1412	子屬性 QueenConsort and 女
No TPTP formula. May not be expressible in strict first order.	Government.kif 1408-1408	子屬性 QueenRegnant and 女
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23492-23492
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23491-23491
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23490-23490

antecedent

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 206-221	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.	Merge.kif 16493-16497	親 Organism and Organism attribute Organism and 女母親 Organism and Organism
No TPTP formula. May not be expressible in strict first order.	Government.kif 1267-1273	次提案獨家男性選舉權 and GeopoliticalArea 的 regional 法律 attribute Object and 女會員 Object and GeopoliticalArea 的 resident 例選舉 and 選舉能力選舉的 voting , agent and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 365-370	持有期間 TimePosition and 例 entity and 人類的孩子 attribute entity and 女持有期間 TimePosition and 例 entity and 女孩

consequent

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 206-223	等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女棲息 SymbolicString and GeopoliticalArea 等於部 Integer and Integer and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20200-20204	例 Object and 公牛例 Object and 牛 attribute Object and 女
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20232-20236	例 Object and 母雞例 Object and 雞 attribute Object and 女
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12859-12863	例 Object and 乳房部分 Object and Object attribute Object and 女
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18117-18122	例 Object and ReproductiveBody 部分 Object and Object 例 Object and Organism attribute Object and 女
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24131-24137	例 Process and 下蛋體驗者 Process and AutonomousAgent 例 AutonomousAgent and Animal attribute AutonomousAgent and 女
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23880-23887	例 Process and 經期體驗者 Process and AutonomousAgent attribute AutonomousAgent and 女 attribute AutonomousAgent and Menopausal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23934-23936	attribute Object and Menopausal attribute Object and 女
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19844-19846	attribute Object and 孕 attribute Object and 女
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1243-1254	attribute Object and ExclusiveFemaleLevel Physical 例 Physical and HotelRoom 位於 Physical and Object 有目的 Physical and entity attribute entity and 女 entity stays 在 Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1042-1050	attribute Object and FemaleExecutiveRoom 有目的 Object and entity 例 entity and Human attribute entity and 女 attribute entity and BusinessExecutive entity stays 在 Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16444-16446	Organism 是 Organism 的 daughter attribute Organism and 女
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24010-24017	例 Transfer and Birth Object TransferABY attribute Object and 女起源 Transfer and Object objectTransferred Transfer and TransferABY attribute TransferABY and 沒有完全形成
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12647-12651	例 Object and 女王崑蟲 attribute Object and 女能力 Replication, agent and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10870-10877	例 Entity and 奶 Process Object 例 Object and Mammal attribute Object and 女儀器 Process and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14659-14661	例 Object and 女人 attribute Object and 女
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16414-16416	母親 Organism and Organism attribute Organism and 女

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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