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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - top
top

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2845-2846
No TPTP formula. May not be expressible in strict first order. Merge.kif 9629-9630
No TPTP formula. May not be expressible in strict first order. Merge.kif 9626-9626 The number 1 argument of top is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9627-9627 The number 2 argument of top is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9625-9625 top is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 9624-9624 top is a subrelation of superficial part

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 389-389
No TPTP formula. May not be expressible in strict first order. english_format.kif 395-395
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58415-58415
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 390-390
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58414-58414
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58413-58413

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9678-9683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4432-4442
No TPTP formula. May not be expressible in strict first order. Geography.kif 4081-4085
No TPTP formula. May not be expressible in strict first order. Geography.kif 4062-4066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16934-16939
No TPTP formula. May not be expressible in strict first order. Geography.kif 4670-4675
No TPTP formula. May not be expressible in strict first order. Geography.kif 4663-4668
No TPTP formula. May not be expressible in strict first order. Geography.kif 4104-4108
No TPTP formula. May not be expressible in strict first order. Merge.kif 9655-9660
No TPTP formula. May not be expressible in strict first order. Merge.kif 9632-9637

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7622-7627
No TPTP formula. May not be expressible in strict first order. Geography.kif 1925-1933
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16934-16939
No TPTP formula. May not be expressible in strict first order. Weather.kif 1650-1671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2774-2787
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1135-1143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4366-4374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14780-14785
No TPTP formula. May not be expressible in strict first order. Sports.kif 891-899
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14790-14795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25388-25399
No TPTP formula. May not be expressible in strict first order. Geography.kif 4029-4040
No TPTP formula. May not be expressible in strict first order. Weather.kif 2829-2854
No TPTP formula. May not be expressible in strict first order. Weather.kif 3034-3061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16989-16995


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