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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 16542-16544
No TPTP formula. May not be expressible in strict first order. Merge.kif 16540-16540 The number 1 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16541-16541 The number 2 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16537-16537 parent is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16535-16535 parent is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16538-16538 parent is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16539-16539 parent is an instance of total valued relation

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 16612-16612 daughter is a subrelation of parent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16623-16623 son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44432-44432 son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 524-524 son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44431-44431 son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44430-44430 son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order. terms-de.txt 206-206 son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 401-401 son is a subrelation of parent

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10503-10509
No TPTP formula. May not be expressible in strict first order. Merge.kif 16668-16672
No TPTP formula. May not be expressible in strict first order. Merge.kif 16662-16666
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24668-24672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24674-24678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24662-24666
No TPTP formula. May not be expressible in strict first order. Merge.kif 16561-16569
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1901-1911
No TPTP formula. May not be expressible in strict first order. Merge.kif 16554-16559
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24827-24843
No TPTP formula. May not be expressible in strict first order. Merge.kif 16646-16654
No TPTP formula. May not be expressible in strict first order. Merge.kif 16656-16660
No TPTP formula. May not be expressible in strict first order. Merge.kif 16546-16548
No TPTP formula. May not be expressible in strict first order. Merge.kif 16550-16552
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 406-408

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24687-24692 A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24778-24783 The uncle of a human is a man if and only if there exists another human such that the man is the brother of the other human and the other human is a parent of the human
No TPTP formula. May not be expressible in strict first order. Merge.kif 10456-10461
No TPTP formula. May not be expressible in strict first order. Merge.kif 16656-16660
No TPTP formula. May not be expressible in strict first order. Merge.kif 16466-16474
No TPTP formula. May not be expressible in strict first order. Merge.kif 16476-16483
No TPTP formula. May not be expressible in strict first order. Merge.kif 16597-16599
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24724-24729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24736-24741
No TPTP formula. May not be expressible in strict first order. Merge.kif 16571-16574
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1883-1892
No TPTP formula. May not be expressible in strict first order. Merge.kif 16580-16582


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