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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Near

Sigma KEE - Near
Near(near)
more pictures...
about, alignment, approach, around, at_close_range, at_hand, border_on, circumferent, close, close-set, close_at_hand, close_set, close_up, closeness, conjunction, distal, encompassing, hand-to-hand, hot, inferior_conjunction, keep_one's_distance, keep_one's_eyes_off, keep_one's_hands_off, lap, most, near, nearby, nearness, nearside, neighbor, neighbour, nigh, point-blank, propinquity, proximity, stand_back, stay_away, subterminal, superior_conjunction, surrounding, walk-to, walking, warm

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3828-3829
No TPTP formula. May not be expressible in strict first order. Merge.kif 15979-15980
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10165-10165
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11527-11527
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11526-11526
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11524-11524
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11528-11528
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11523-11523
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11525-11525
No TPTP formula. May not be expressible in strict first order. Merge.kif 15978-15978 Near is an instance of SymmetricPositionalAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39961-39961
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39960-39960
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39959-39959

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15982-15985
No TPTP formula. May not be expressible in strict first order. Merge.kif 15987-15989
No TPTP formula. May not be expressible in strict first order. Geography.kif 719-721

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15953-15957 An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
No TPTP formula. May not be expressible in strict first order. Media.kif 224-231
No TPTP formula. May not be expressible in strict first order. Merge.kif 12352-12357
No TPTP formula. May not be expressible in strict first order. Cars.kif 3685-3725
No TPTP formula. May not be expressible in strict first order. Transportation.kif 830-839
No TPTP formula. May not be expressible in strict first order. Transportation.kif 862-871
No TPTP formula. May not be expressible in strict first order. Geography.kif 5632-5637
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13342-13347
No TPTP formula. May not be expressible in strict first order. Geography.kif 741-749
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4490-4501
No TPTP formula. May not be expressible in strict first order. Hotel.kif 880-885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6310-6317
No TPTP formula. May not be expressible in strict first order. Merge.kif 15987-15989
No TPTP formula. May not be expressible in strict first order. Geography.kif 719-721


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