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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Putting
Putting(Colocar)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3035-3036
No TPTP formula. May not be expressible in strict first order. Merge.kif 11447-11449
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1803-1804
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2983-2983
No TPTP formula. May not be expressible in strict first order. Merge.kif 11445-11445 Colocar e' uma sub-classe de Transferencia

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12395-12395 Colar e' relacionado internamente por SUMO a Colocar
No TPTP formula. May not be expressible in strict first order. Merge.kif 10928-10928 Aumentar e' relacionado internamente por SUMO a Colocar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18020-18020 Burying e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5479-5479 Concealing e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. Merge.kif 11460-11460 Cobrir e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. WMD.kif 676-676 DeployingWeaponOfMassDestruction e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19641-19641 Diluting e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5494-5494 Dressing e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18064-18064 Entombing e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. Merge.kif 11466-11466 Inserting e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17914-17914 Installing e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. Cars.kif 2977-2977 Lubricating e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. Geography.kif 2577-2577 Planting e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. Geography.kif 2923-2923 Siltation e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. Merge.kif 12793-12793 Molhar e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1122-1122
No TPTP formula. May not be expressible in strict first order. english_format.kif 1461-1461
No TPTP formula. May not be expressible in strict first order. french_format.kif 800-800
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 332-332
No TPTP formula. May not be expressible in strict first order. terms-it.txt 335-335
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2484-2484
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 752-752
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 337-337
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 371-371

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. WMD.kif 581-581 biochemicalAgentAntidote Soman, PyridostigmineBromide and Colocar

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4384-4399
No TPTP formula. May not be expressible in strict first order. Merge.kif 11451-11458

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12224-12234
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 51-63
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 136-145
No TPTP formula. May not be expressible in strict first order. WMD.kif 1322-1326
No TPTP formula. May not be expressible in strict first order. Food.kif 84-94
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3349-3359
No TPTP formula. May not be expressible in strict first order. WMD.kif 707-718
No TPTP formula. May not be expressible in strict first order. WMD.kif 1046-1059
No TPTP formula. May not be expressible in strict first order. Cars.kif 3003-3011
No TPTP formula. May not be expressible in strict first order. Cars.kif 3019-3027
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4642-4651
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 36-44
No TPTP formula. May not be expressible in strict first order. Food.kif 226-235
No TPTP formula. May not be expressible in strict first order. Economy.kif 4374-4382
No TPTP formula. May not be expressible in strict first order. Merge.kif 11500-11512
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3669-3676
No TPTP formula. May not be expressible in strict first order. Cars.kif 4860-4870
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26772-26781
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26752-26765


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