Object(客体)

-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 684-688
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25564-25566
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27166-27168
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25568-25570
No TPTP formula. May not be expressible in strict first order. naics.kif 7805-7815
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26178-26180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2716-2718
No TPTP formula. May not be expressible in strict first order. Merge.kif 11003-11011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18645-18657
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 336-341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4461-4470
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1286-1291
No TPTP formula. May not be expressible in strict first order. Food.kif 969-978
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17323-17345
No TPTP formula. May not be expressible in strict first order. Economy.kif 2405-2410
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30068-30077
No TPTP formula. May not be expressible in strict first order. Weather.kif 2782-2792
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 78-83
No TPTP formula. May not be expressible in strict first order. Weather.kif 2514-2524
No TPTP formula. May not be expressible in strict first order. Merge.kif 11018-11023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3262-3273
No TPTP formula. May not be expressible in strict first order. Economy.kif 6017-6036
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 389-396
No TPTP formula. May not be expressible in strict first order. Merge.kif 12878-12883
No TPTP formula. May not be expressible in strict first order. Merge.kif 12970-12982

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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