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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Translocation
Translocation(translocation)advance, aerosolise, aerosolize, airborne_transmission, airing, back, billow, bring_forward, buck, burrow, burst, butterfly, by, campaign, career, carry, cast, catch, catch_up_with, charge, circuit, come, come_up, commute, cruise, dart, diffuse, digression, direct_transmission, dislodge, disperse, displacement, dissipate, distance, do, draw, drift, ease, ease_up, edge, emerge, excursion, expedition, extend, fall_back, fan_out, fare-stage, festinate, field_trip, fleet...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3058-3061
No TPTP formula. May not be expressible in strict first order. Merge.kif 11701-11706
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1826-1829
No TPTP formula. May not be expressible in strict first order. Merge.kif 11699-11699 Translocation is a subclass of motion

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1733-1733 The values returned by transit are subclasses of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18525-18525 Accelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11278-11278 Ambulating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18859-18859 Arriving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18927-18927 Boarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4825-4825 Crawling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18968-18968 Deboarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18553-18553 Decelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18870-18870 Disappearing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18592-18592 Entering is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18827-18827 Escaping is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18613-18613 Exiting is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11730-11730 Falling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18776-18776 Flying is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 121-121 Hajj is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18898-18898 Immigrating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18800-18800 Landing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 808-808 Landing water land is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18848-18848 Leaving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15324-15324 Military infiltration is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33727-33727 Moving away from is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1724-1724 Moving cursor is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33754-33754 Moving towards is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. emotion.kif 1417-1417 Moving towards people is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18813-18813 Returning is a subclass of translocation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11130-11130 The number 1 argument of changes location is an instance of translocation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11708-11717
No TPTP formula. May not be expressible in strict first order. Cars.kif 2970-2996
No TPTP formula. May not be expressible in strict first order. Weather.kif 2375-2396
No TPTP formula. May not be expressible in strict first order. Merge.kif 11455-11478
No TPTP formula. May not be expressible in strict first order. Merge.kif 16168-16174
No TPTP formula. May not be expressible in strict first order. Merge.kif 16160-16166
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3223-3232
No TPTP formula. May not be expressible in strict first order. Merge.kif 11719-11728

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23418-23437
No TPTP formula. May not be expressible in strict first order. Weather.kif 1991-2012
No TPTP formula. May not be expressible in strict first order. Cars.kif 2941-2957
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2661-2677
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2535-2545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1838-1848
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6784-6796
No TPTP formula. May not be expressible in strict first order. Dining.kif 610-627
No TPTP formula. May not be expressible in strict first order. Cars.kif 567-580
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17948-17962
No TPTP formula. May not be expressible in strict first order. Weather.kif 920-932
No TPTP formula. May not be expressible in strict first order. emotion.kif 1523-1533
No TPTP formula. May not be expressible in strict first order. Merge.kif 11455-11478
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3148-3153
No TPTP formula. May not be expressible in strict first order. Merge.kif 11141-11149
No TPTP formula. May not be expressible in strict first order. engineering.kif 966-984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18862-18868
No TPTP formula. May not be expressible in strict first order. Sports.kif 1121-1130
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1752-1762
No TPTP formula. May not be expressible in strict first order. Sports.kif 1160-1168
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4149-4151
No TPTP formula. May not be expressible in strict first order. Cars.kif 2827-2856
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16995-17010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13728-13737

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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