holdsDuring |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2083-2085 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3884-3887 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 731-733 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3881-3881 | O argumento numero 1 de holdsDuring e' uma instancia de Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3882-3882 | O argumento numero 2 de holdsDuring e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3880-3880 | holdsDuring e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3879-3879 | holdsDuring e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 121-121 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 122-122 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 82-82 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 129-129 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1909-1909 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 34-34 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 117-117 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 142-142 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 169-169 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 101-101 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 81-81 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 264-264 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3869-3869 | time e' relacionado internamente por SUMO a holdsDuring |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 122-122 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28353-28353 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28352-28352 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28351-28351 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 42-42 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 265-265 |
antecedent |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2453-2457 | Posicao Temporal Posicao Temporal e' uma instancia de o ano 1976 coworker SteveJobsOfApple and SteveWozniakOfApple vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2441-2445 | Posicao Temporal Posicao Temporal e' uma instancia de o ano 2002 coworker SteveJobsOfApple and TimCookOfApple vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1970-1978 | Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal termina em tempo de existencia de JesusOfNazareth Intervalo Temporal comeca em tempo de existencia de TwelveApostles Entidade
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2501-2504 | Serbia e' uma instancia de EuropeanNation Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | Serbia e' uma instancia de IndependentState Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia se chama nome "Republic of Serbia" Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de EuropeanNation vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2523-2526 | Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | Posicao Temporal e' uma instancia de o dia 3 Montenegro se chama nome "Montenegro" vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2546-2550 | Posicao Temporal e' uma instancia de o dia 3 SerbiaAndMontenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | Posicao Temporal e' uma instancia de o dia 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations vale durante imediatemente apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2769 | Posicao Temporal e' uma instancia de o ano 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity vale durante imediatemente apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1920-1920 | JesusOfNazareth e' situado em Palestine vale durante tempo de existencia de JesusOfNazareth |