| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1490-1491 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 308-310 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 50-52 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 55-57 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 306-306 | Le nombre 1 argument de range est une instance de function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 307-307 | Le nombre 2 argument de range est une instance de classe |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 305-305 | range est une instance de relation asym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 304-304 | range est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 313-313 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 318-318 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 179-179 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 238-238 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1999-1999 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 131-131 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 180-180 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 410-410 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 276-276 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 199-199 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 189-189 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 430-430 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 314-314 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48757-48757 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48756-48756 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3392-3396 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 312-316 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 324-330 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 433-438 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 318-322 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 318-322 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3227-3227 | Le domaine de ABPFn est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3272-3272 | Le domaine de ASPFn est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2413-2413 | Le domaine de AbortedFn est une instance de processus |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2478-2478 | Le domaine de AbortedLaunchFn est une instance de TakingOff |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2432-2432 | Le domaine de AbortedMissionFn est une instance de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4763-4763 | Le domaine de AbsoluteValueFn est une instance de nombre r�el non n�gatif |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1280-1280 | Le domaine de AccelerationFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2317-2317 | Le domaine de AccountFn est une instance de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4714-4714 | Le domaine de AdditionFn est une instance de nombre r�el |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 224-224 | Le domaine de AddressFn est une instance de PhysicalAddress |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8835-8835 | Le domaine de AfternoonFn est une instance de Afternoon |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3057-3057 | Le domaine de AgreementOrganizationFn est une instance de organisation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7580-7580 | Le domaine de AmountsFn est une instance de liste |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5260-5260 | Le domaine de ArcCosineFn est une instance de nombre r�el |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5270-5270 | Le domaine de ArcSineFn est une instance de nombre r�el |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5250-5250 | Le domaine de ArcTangentFn est une instance de nombre r�el |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 788-788 | Le domaine de AssignmentFn est une instance de entit� |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3195-3195 | Le domaine de AuctionGMBFn est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 866-866 | Le domaine de AvailableForMilitaryServiceMaleFn est une instance de nombre entier |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3272-3272 | Le domaine de AverageFn est une instance de nombre r�el |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 899-899 | Le domaine de BackFn est une instance de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7983-7983 | Le domaine de BeginFn est une instance de point temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5943-5943 | Le domaine de BeginNodeFn est une instance de noeud du graph |
| No TPTP formula. May not be expressible in strict first order. | People.kif 674-674 | Le domaine de BeliefGroupMemberFn est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2914-2914 | Le domaine de BidCountFn est une instance de nombre entier non n�gatif |
| 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