Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Female

 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 18136-18137
No TPTP formula. May not be expressible in strict first order. Merge.kif 18135-18135 女 是 性别属性 的 instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18147-18147 男 是 女 的相反
No TPTP formula. May not be expressible in strict first order. Merge.kif 18127-18127 女 是所有的 性别属性 的 attributes
No TPTP formula. May not be expressible in strict first order. Government.kif 1412-1412 QueenConsort 是 女 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 1408-1408 QueenRegnant 是 女 的 subAttribute
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
No TPTP formula. May not be expressible in strict first order. Medicine.kif 206-221
No TPTP formula. May not be expressible in strict first order. Merge.kif 16515-16519
No TPTP formula. May not be expressible in strict first order. Government.kif 1267-1273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 365-370

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 403-436 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 206-223 地缘政治区域 的 male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数 和 那个 另外 整数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20199-20203 客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 女 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20231-20235 客体 是 母鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 女 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12858-12862
No TPTP formula. May not be expressible in strict first order. Merge.kif 18139-18144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24130-24136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23879-23886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23933-23935
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19843-19845
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1243-1254
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1042-1050
No TPTP formula. May not be expressible in strict first order. Merge.kif 16466-16468
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24009-24016
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12646-12650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10869-10876
No TPTP formula. May not be expressible in strict first order. Merge.kif 14681-14683
No TPTP formula. May not be expressible in strict first order. Merge.kif 16436-16438

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 456-469 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量


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