AutonomousAgent(施事体)

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


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 2301-2312
No TPTP formula. May not be expressible in strict first order. Catalog.kif 36-41
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 240-255
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 220-230
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 209-218
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2398-2403
No TPTP formula. May not be expressible in strict first order. Merge.kif 13004-13013
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7932-7938
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29930-29936
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1140-1151
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2215-2224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22127-22133
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30207-30218
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2173-2191


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