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 17129-17130
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10144-10144
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11500-11500
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11499-11499
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11497-11497
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11501-11501
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11496-11496
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11498-11498
No TPTP formula. May not be expressible in strict first order. Merge.kif 17128-17128 Near is an instance of symmetric positional attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40035-40035
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40034-40034
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40033-40033
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 538-538

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 44-59
No TPTP formula. May not be expressible in strict first order. Merge.kif 17132-17135
No TPTP formula. May not be expressible in strict first order. Merge.kif 17137-17139
No TPTP formula. May not be expressible in strict first order. Geography.kif 720-722

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17103-17107 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. Medicine.kif 6237-6246
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. Anatomy.kif 1439-1448
No TPTP formula. May not be expressible in strict first order. Merge.kif 13282-13287
No TPTP formula. May not be expressible in strict first order. Cars.kif 3710-3751
No TPTP formula. May not be expressible in strict first order. Transportation.kif 841-850
No TPTP formula. May not be expressible in strict first order. Transportation.kif 873-882
No TPTP formula. May not be expressible in strict first order. Geography.kif 5942-5947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15662-15667
No TPTP formula. May not be expressible in strict first order. Geography.kif 742-750
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3958-3969
No TPTP formula. May not be expressible in strict first order. Hotel.kif 910-915
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6671-6678
No TPTP formula. May not be expressible in strict first order. Merge.kif 17137-17139
No TPTP formula. May not be expressible in strict first order. Geography.kif 720-722


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