No TPTP formula. May not be expressible in strict first order.	Music.kif 828-828	例 PlayingInstrumentFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31687-31687	例 人口 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 945-945	例 港口設施 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 795-795	例 電源組 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5332-5332	例 前任 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16899-16899	例 房地 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1358-1358	例 PressingKeyFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2572-2572	例 可能性 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4272-4272	例 屬性 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4164-4164	例 QPViewsFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4229-4229	例 QualifiedTreatmentsFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4196-4196	例 QualifyingEventsFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3031-3031	例 QualifyingPurchasesFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4955-4955	例 半徑 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5053-5053	例 有理數 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5060-5060	例 實數 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Media.kif 184-184	例 ReceivingAnObjectFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5067-5067	例 互相 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Government.kif 881-881	例 區域法 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8026-8026	例 居民 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Media.kif 3061-3061	例 ReverseFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5167-5167	例 回合 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3709-3709	例 SRPEngagementFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13508-13508	例 SenseImpairmentFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13528-13528	例 SenseInabilityFn and UnaryFunction
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