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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - surface
surface

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2838-2840
No TPTP formula. May not be expressible in strict first order. Merge.kif 9115-9118
No TPTP formula. May not be expressible in strict first order. Merge.kif 9112-9112 The number 1 argument of surface is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9113-9113 The number 2 argument of surface is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9109-9109 surface is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9110-9110 surface is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 9111-9111 surface 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 373-373
No TPTP formula. May not be expressible in strict first order. english_format.kif 377-377
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 374-374
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56210-56210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56209-56209

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1462-1467 The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2664-2675
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2632-2643
No TPTP formula. May not be expressible in strict first order. Merge.kif 16549-16554
No TPTP formula. May not be expressible in strict first order. Merge.kif 16577-16582
No TPTP formula. May not be expressible in strict first order. Geography.kif 6573-6593
No TPTP formula. May not be expressible in strict first order. Geography.kif 6956-6968
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1488-1496
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1305-1311
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1313-1318
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1320-1325
No TPTP formula. May not be expressible in strict first order. Geography.kif 4539-4543
No TPTP formula. May not be expressible in strict first order. Geography.kif 4533-4537
No TPTP formula. May not be expressible in strict first order. Geography.kif 3794-3802
No TPTP formula. May not be expressible in strict first order. Merge.kif 9120-9125

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2721-2725 An object is a length measure above the ground if and only if the altitude of the object is a self connected object and the self connected object is a surface of planet earth
No TPTP formula. May not be expressible in strict first order. Geography.kif 6956-6968
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1441-1451
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3730-3738
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18870-18899
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5306-5311
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8508-8517
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9000-9006
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 621-626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3803-3814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9421-9428
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4010-4019
No TPTP formula. May not be expressible in strict first order. Transportation.kif 325-330
No TPTP formula. May not be expressible in strict first order. Geography.kif 3786-3792


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