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

Formal Language: 



KB Term:  Term intersection
English Word: 

  parent

 Sigma KEE - parent
parent

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3689-3690
No TPTP formula. May not be expressible in strict first order. Merge.kif 16389-16391
No TPTP formula. May not be expressible in strict first order. Merge.kif 16387-16387 域 親, 1 and Organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16388-16388 域 親, 2 and Organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16384-16384 例 親 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16382-16382 例 親 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16385-16385 例 親 and IntransitiveRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16386-16386 例 親 and TotalValuedRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 523-523
No TPTP formula. May not be expressible in strict first order. english_format.kif 528-528
No TPTP formula. May not be expressible in strict first order. french_format.kif 309-309
No TPTP formula. May not be expressible in strict first order. relations-it.txt 209-209
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2077-2077
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 261-261
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 315-315
No TPTP formula. May not be expressible in strict first order. relations-de.txt 680-680
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 247-247
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 330-330
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 337-337
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 400-400
No TPTP formula. May not be expressible in strict first order. Merge.kif 16459-16459 子關係 女兒 and 親
No TPTP formula. May not be expressible in strict first order. Merge.kif 16470-16470 子關係 兒子 and 親
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44430-44430
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 524-524
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44429-44429
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44428-44428
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 401-401

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10385-10391
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. Merge.kif 16509-16513
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23026-23030
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23032-23036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23020-23024
No TPTP formula. May not be expressible in strict first order. Merge.kif 16408-16416
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1890-1900
No TPTP formula. May not be expressible in strict first order. Merge.kif 16401-16406
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23185-23201
No TPTP formula. May not be expressible in strict first order. Merge.kif 16493-16501
No TPTP formula. May not be expressible in strict first order. Merge.kif 16503-16507
No TPTP formula. May not be expressible in strict first order. Merge.kif 16393-16395
No TPTP formula. May not be expressible in strict first order. Merge.kif 16397-16399
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 413-415

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23045-23050 女人 是 Human 的 aunt Human 女人 是 Human 的 sister 親 Human and Human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23136-23141 Human 的 uncle 是 人 Human 人 是 Human 的 brother 親 Human and Human
No TPTP formula. May not be expressible in strict first order. Merge.kif 10338-10343
No TPTP formula. May not be expressible in strict first order. Merge.kif 16503-16507
No TPTP formula. May not be expressible in strict first order. Merge.kif 16313-16321
No TPTP formula. May not be expressible in strict first order. Merge.kif 16323-16330
No TPTP formula. May not be expressible in strict first order. Merge.kif 16444-16446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23082-23087
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23094-23099
No TPTP formula. May not be expressible in strict first order. Merge.kif 16418-16421
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1872-1881
No TPTP formula. May not be expressible in strict first order. Merge.kif 16427-16429


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